On a version of the Homotopy Type System with application to semi-simplicial types in homotopy type theory:

- Danil Annenkov, Paolo Capriotti, Nicolai Kraus, Christian Sattler:
*Two-Level Type Theory and Applications*[arXiv:1705.03307]

On quotient types and higher inductive types:

- Thorsten Altenkirch, Paolo Capriotti, Gabe Dijkstra, Nicolai Kraus, Fredrik Forsberg,
*Quotient inductive-inductive types*, Foundations of Software Science and Computation Structures (FoSSaCS 2018), Lecture Notes in Computer Science**10803**(2018) [doi:10.1007/978-3-319-89366-2_16, arXiv:1612.02346]

category: people

Last revised on May 7, 2023 at 18:10:21. See the history of this page for a list of all contributions to it.