Ambrus Kaposi

Available identifiers

zbMath Open kaposi.ambrusDBLP143/7092WikidataQ45342843 ScholiaQ45342843MaRDI QIDQ2176676

List of research outcomes

Publication	Date of Publication	Type
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

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Ambrus Kaposi