Az adatok hitelességéről nyilatkozott: 2024. II. 22. Közlemények |
2023
adattárból, 2023. XII. 01. |
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: Könyvrészlet/Konferenciaközlemény nyelv: angol URL |
2023
adattárból, 2023. XII. 01. |
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: Könyvrészlet/Konferenciaközlemény nyelv: angol URL |
2021
adattárból, 2023. XII. 01. |
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/Szakcikk független idéző közlemények száma: 1 nyelv: angol URL |
2021
adattárból, 2023. XII. 01. |
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/Szakcikk nyelv: angol URL |
2020
adattárból, 2023. XII. 01. |
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: Könyvrészlet/Konferenciaközlemény független idéző közlemények száma: 2 nyelv: angol URL |
2019
adattárból, 2023. XII. 01. |
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/Szakcikk független idéző közlemények száma: 17 nyelv: angol URL |
2019
adattárból, 2023. XII. 01. |
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: Könyvrészlet/Konferenciaközlemény független idéző közlemények száma: 2 nyelv: angol URL |
2018
adattárból, 2023. XII. 01. |
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: Könyvrészlet/Konferenciaközlemény független idéző közlemények száma: 11 nyelv: angol URL |
2016
adattárból, 2023. XII. 01. |
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/Konferenciaközlemény független idéző közlemények száma: 31 nyelv: angol Teljes szöveg |
2016
adattárból, 2023. XII. 01. |
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: Könyvrészlet/Konferenciaközlemény független idéző közlemények száma: 6 nyelv: angol URL |
| a legjelentősebbnek tartott közleményekre kapott független hivatkozások száma: | 70 |
|
|