Displayed Type Theory

References

• Kolomatskaia, Astra, and Michael Shulman. “Displayed Type Theory and Semi-Simplicial Types.” arXiv, February 1, 2024. https://doi.org/10.48550/arXiv.2311.18781.