processing...
home
items
simplicial type theory
create a passkey
account
chatqed
Coq
Agda
Lean
references
items
authors
citations
tools
unicode
settings
help
Simplicial Type Theory
References
Synthetic Fibered (∞, 1)-Category Theory. Ulrik Buchholtz, Jonathan Weinberger. 2022.
Simplicial Sets Inside Cubical Sets. Thomas Streicher, Jonathan Weinberger. 2021.
A Type Theory for Synthetic ∞-Categories. Emily Riehl, Michael Shulman. 2017.