cart-cube

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 (13)

• 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
• Cubical Agda

This page was built for software: cart-cube