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.