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.