András Kovács

Publications

• Staged Compilation With Two-Level Type Theory. András Kovács. 2022.
• 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.
• For Finitary Induction-Induction, Induction Is Enough. Ambrus Kaposi, András Kovács, Ambroise Lafont. 2020.
• A Syntax for Higher Inductive-Inductive Types. Ambrus Kaposi, András Kovács. 2018.