Ambrus Kaposi

Publications

• For Finitary Induction-Induction, Induction Is Enough. Ambrus Kaposi, András Kovács, Ambroise Lafont. 2020.
• Quotient Inductive-Inductive Types and Higher Friends. Ambrus Kaposi. 2020.
• Signatures and Induction Principles for Higher Inductive-Inductive Types. Ambrus Kaposi, András Kovács. 2020.
• Large and Infinitary Quotient Inductive-Inductive Types. András Kovács, Ambrus Kaposi. 2020.
• A Syntax for Higher Inductive-Inductive Types. Ambrus Kaposi, András Kovács. 2018.