nLab Jasper Hugunin

Selected writings

Selected writings

On higher inductive-inductive types in cubical type theory:

  • Jasper Hugunin, Constructing Inductive-Inductive Types in Cubical Type Theory, in Foundations of Software Science and Computation Structures. FoSSaCS 2019, Lecture Notes in Computer Science 11425 (2019) [doi:10.1007/978-3-030-17127-8_17]

On W-types:

category: people

Last revised on February 10, 2023 at 07:01:00. See the history of this page for a list of all contributions to it.