swMATH34764MaRDI QIDQ46473FDOQ46473
Author name not available (Why is that?)
Official website: https://github.com/dlicata335/cart-cube/
Source code repository: https://github.com/dlicata335/cart-cube/
Cited In (12)
- Model structure on the universe of all types in interval type theory
- Naive cubical type theory
- Models of type theory based on Moore paths
- HoTT
- cubicaltt
- RedPRL
- Cubical methods in homotopy type theory and univalent foundations
- Cartesian cubical computational type theory: Constructive reasoning with paths and equalities
- Constructive sheaf models of type theory
- Internal universes in models of homotopy type theory
- Syntax and models of Cartesian cubical type theory
- An introduction to univalent foundations for mathematicians
This page was built for software: cart-cube
