Az adatok frissességéről nyilatkozott: 2025-02-22

Eötvös Loránd Tudományegyetem

egyetemi oktató

Altenkirch Thorsten, Kaposi Ambrus, Šinkarovs Artjoms, Végh Tamás: Combinatory Logic and Lambda Calculus Are Equal, Algebraically

In: Marco, Gaboardi; Femke, van Raamsdonk (szerk.) 8th International Conference on Formal Structures for Computation and Deduction (FSCD 2023), Schloss Dagstuhl Leibniz-Zentrum für Informatik (2023) 24

dokumentum típusa: Folyóiratcikk

nyelv: angol

Bocquet Rafaël, Kaposi Ambrus, Sattler Christian: For the Metatheory of Type Theory, Internal Sconing Is Enough

In: Marco, Gaboardi; Femke, van Raamsdonk (szerk.) 8th International Conference on Formal Structures for Computation and Deduction (FSCD 2023), Schloss Dagstuhl Leibniz-Zentrum für Informatik (2023) 18

dokumentum típusa: Folyóiratcikk

nyelv: angol

Altenkirch Thorsten, Boulier Simon, Kaposi Ambrus, Sattler Christian, Sestini Filippo: Constructing a universe for the setoid model

LECTURE NOTES IN COMPUTER SCIENCE 12650: pp. 1-21.

dokumentum típusa: Folyóiratcikk

független idéző közlemények száma: 1

nyelv: angol

Mikó Ágnes, Kaposi Ambrus, Schnabel Karolina, Seidl Dániel, Tory Kálmán: Identification of incompletely penetrant variants and interallelic interactions in autosomal recessive disorders by a population‐genetic approach

HUMAN MUTATION 42: (11) pp. 1473-1487.

dokumentum típusa: Folyóiratcikk

nyelv: angol

Kovács András, Kaposi Ambrus: Large and Infinitary Quotient Inductive-Inductive Types

In: Holger, Hermanns; Lijun, Zhang (szerk.) Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science, Association for Computing Machinery (ACM) (2020) pp. 648-661.

dokumentum típusa: Folyóiratcikk

független idéző közlemények száma: 2

nyelv: angol

Kaposi Ambrus, Kovács András, Altenkirch Thorsten: Constructing quotient inductive-inductive types

PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES 3: (POPL) 2

dokumentum típusa: Folyóiratcikk

független idéző közlemények száma: 17

nyelv: angol

Kaposi Ambrus, Kovács András, Kraus Nicolai: Shallow Embedding of Type Theory is Morally Correct

In: Hutton, Graham (szerk.) Mathematics of Program Construction, Springer-Verlag (2019) pp. 329-365.

dokumentum típusa: Folyóiratcikk

független idéző közlemények száma: 2

nyelv: angol

Kaposi A, Kovács A: A syntax for higher inductive-inductive types

In: Kirchner, H (szerk.) 3rd International Conference on Formal Structures for Computation and Deduction (FSCD 2018), Schloss Dagstuhl Leibniz-Zentrum für Informatik (2018) 20

dokumentum típusa: Folyóiratcikk

független idéző közlemények száma: 11

nyelv: angol

Altenkirch Thorsten, Kaposi Ambrus: Normalisation by Evaluation for Dependent Types

In: Delia, Kesner; Brigitte, Pientka (szerk.) 1st International Conference on Formal Structures for Computation and Deduction, Schloss Dagstuhl Leibniz-Zentrum für Informatik (2016) 6

dokumentum típusa: Folyóiratcikk

független idéző közlemények száma: 6

nyelv: angol

Altenkirch Thorsten, Kaposi Ambrus: Type theory in type theory using quotient inductive types

ACM SIGPLAN NOTICES 51: (1) pp. 18-29.

dokumentum típusa: Folyóiratcikk

független idéző közlemények száma: 31

nyelv: angol