 |
|
| Personal data sheet |
 Print previewpersonal data approved: 2024. II. 22. | Publications |
2023
 from data base, 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
type of document: Part of book/Proceedings Paper
language: English
URL |
2023
from data base, 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
type of document: Part of book/Proceedings Paper
language: English
URL |
2021
from data base, 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.
type of document: Journal paper/Article
number of independent citations: 1
language: English
URL |
2021
from data base, 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.
type of document: Journal paper/Article
language: English
URL |
2020
from data base, 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.
type of document: Part of book/Proceedings Paper
number of independent citations: 2
language: English
URL |
2019
from data base, 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
type of document: Journal paper/Article
number of independent citations: 17
language: English
URL |
2019
from data base, 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.
type of document: Part of book/Proceedings Paper
number of independent citations: 2
language: English
URL |
2018
from data base, 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
type of document: Part of book/Proceedings Paper
number of independent citations: 11
language: English
URL |
2016
from data base, 2023. XII. 01. |
Altenkirch Thorsten, Kaposi Ambrus: Type theory in type theory using quotient inductive types, ACM SIGPLAN NOTICES 51: (1) pp. 18-29.
type of document: Journal paper/Konferenciaközlemény
number of independent citations: 31
language: English
Full text |
2016
from data base, 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
type of document: Part of book/Proceedings Paper
number of independent citations: 6
language: English
URL |
| | Number of independent citations to these publications: | 70 |
|
|
|
|
|
Login
INF.ELTE.HU
