Items where Author is "Kaposi, Ambrus"

Article

Donkó, István and Kaposi, Ambrus (2022) Internal strict propositions using point-free equations. Leibniz International Proceedings in Informatics (LIPIcs), 2nd International Symposium on Computational Geometry (SoCG 2016), 239. 6:1-6:21. ISSN 1868-8969

Szeri, Flora and Verschuere, Shana and Navasiolava, Nastassia and Kaposi, Ambrus and Verschuere, Shana and Molnar, Beatrix and Li, Qiaoli and Terry, Sharon F. and Boraldi, Federica and Uitto, Jouni and van de Wetering, Koen and Martin, Ludovic and Quaglino, Daniela and Vanakker, Olivier M. and Tory, Kalman and Aranyi, Tamas (2022) The pathogenic c.1171A>G (p.Arg391Gly) and c.2359G>A (p.Val787Ile) ABCC6 variants display incomplete penetrance causing pseudoxanthoma elasticum in a subset of individuals. Human Mutation. ISSN 1059-7794 (print), 1098-1004 (online)

Altenkirch, Thorsten and Boulier, Simon and Kaposi, Ambrus and Sattler, Christian and Sestini, Filippo (2021) Constructing a universe for the setoid model. LECTURE NOTES IN COMPUTER SCIENCE, 12650. pp. 1-21. ISSN 0302-9743

Kaposi, Ambrus and Kovács, András and Lafont, Ambroise (2020) For Finitary Induction-Induction, Induction is Enough. 25th International Conference on Types for Proofs and Programs (TYPES 2019). (In Press)

Bereczky, Péter and Donkó, István and Horpácsi, Dániel and Kaposi, Ambrus and Németh, Dávid János (2020) Interactive Teaching of Programming Language Theory with a Proof Assistant. Central-European Journal of New Technologies in Research, Education and Practice. ISSN 2676-9425

Kővári, Eszter and Kaposi, Ambrus and Kiss, Zsuzsanna and Kurucz, Réka and Mandl, Péter and Poór, Gyula and Szendrői, Miklós and Bálint, Péter Vince (2020) A multimorbiditás hatása a funkcionális és életminőség-eredményekre generalizált osteoarthrosisban. ORVOSI HETILAP, 161 (33). pp. 1373-1381. ISSN 0030-6002

Mikó, Ágnes and Karancsiné Menyhárd, Dóra and Kaposi, Ambrus and Antignac, Corinne and Tory, Kálmán (2018) The mutation‐dependent pathogenicity of NPHS2 p.R229Q: A guide for clinical assessment. Human Mutation, 39. pp. 1854-1860. ISSN 1059-7794 (print), 1098-1004 (online)

Altenkirch, Thorsten and Kaposi, Ambrus (2017) Normalisation by Evaluation for Type Theory, in Type Theory. LOGICAL METHODS IN COMPUTER SCIENCE, 13 (4). ISSN 1860-5974

Conference or Workshop Item

Kaposi, Ambrus and Xie, Zongpu (2021) Quotient inductive-inductive types in the setoid model. In: 27th International Conference on Types for Proofs and Programs, 14 – 18 June 2021.

Altenkirch, Thorsten and Kaposi, Ambrus (2021) A container model of type theory. In: 27th International Conference on Types for Proofs and Programs, 14 – 18 June 2021.

Donkó, István and Kaposi, Ambrus and Tóth, Melinda (2020) Formalizing a relational model of concurrent programs in a dependently typed environment. In: 13th Joint Conference on Mathematics and Informatics, October 1-3, 2020.

Kaposi, Ambrus and Luksa, Norbert (2020) A calculus of single substitutions for simple type theory. In: 13th Joint Conference on Mathematics and Informatics, October 1-3, 2020.

Kovács, András and Kaposi, Ambrus (2020) Large and Infinitary Quotient Inductive-Inductive Types. In: The 35th Annual ACM/IEEE Symposium on Logic in Computer Science.

Kaposi, Ambrus and von Raumer, Jakob (2020) A Syntax for Mutual Inductive Families. In: 5th International Conference on Formal Structures for Computation and Deduction (FSCD 2020).

Bocquet, Rafaël and Kaposi, Ambrus and Sattler, Christian (2020) Metatheoretic proofs internally to presheaf categories. In: 26th International Conference on Types for Proofs and Programs (TYPES 2020).

Kaposi, Ambrus and Kovács, András and Kraus, Nicolai (2020) Shallow embedding of type theory is morally correct. In: 26th International Conference on Types for Proofs and Programs (TYPES 2020).

Kaposi, Ambrus and Xie, Zongpu (2020) A model of type theory with quotient inductive-inductive types. In: 26th International Conference on Types for Proofs and Programs (TYPES 2020).