Quartz 4

❯

❯

kaulkin2018 simplicial model

kaulkin2018-simplicial-model

Feb 08, 20261 min read

Terms

Homotopy Type Theory Type Theory Calculus of Inductive Constructions

Definitions

Paper

Graph View

Terms
Definitions
Paper

Backlinks

riehl2022-hott-semantics

Created with Quartz v4.5.2 © 2026

GitHub
Discord Community