Ambrus Kaposi

Available identifiers

Publication	Date of Publication	Type
The Münchhausen method in type theory	2024-11-26	Paper
For the metatheory of type theory, internal sconing is enough	2024-10-21	Paper
Combinatory logic and lambda calculus are equal, algebraically	2024-10-21	Paper
Internal strict propositions using point-free equations	2024-08-01	Paper
For Finitary Induction-Induction, Induction is Enough	2023-10-27	Paper
For the Metatheory of Type Theory, Internal Sconing Is Enough	2023-02-10	Paper
Pointers in Recursion: Exploring the Tropics	2022-07-18	Paper
Constructing a universe for the setoid model	2021-10-18	Paper
Free Applicative Functors	2021-06-23	Paper
A Syntax for Higher Inductive-Inductive Types	2021-06-15	Paper
Large and Infinitary Quotient Inductive-Inductive Types	2021-01-21	Paper
Setoid type theory -- a syntactic translation	2020-05-05	Paper
Shallow embedding of type theory is morally correct	2020-05-05	Paper
https://portal.mardi4nfdi.de/entity/Q5216301	2020-02-17	Paper
Towards a Cubical Type Theory without an Interval	2018-08-13	Paper
https://portal.mardi4nfdi.de/entity/Q5371043	2017-10-24	Paper
Normalisation by Evaluation for Dependent Types.	2017-10-17	Paper
Type theory in type theory using quotient inductive types	2016-10-24	Paper

This page was built for person: Ambrus Kaposi