home
items
simplicial type theory
Simplicial Type Theory
References
Ulrik Buchholtz, Jonathan Weinberger. Synthetic Fibered (∞, 1)-Category Theory. 2022.
Thomas Streicher, Jonathan Weinberger. Simplicial Sets Inside Cubical Sets. 2021.
Emily Riehl, Michael Shulman. A Type Theory for Synthetic ∞-Categories. 2017.