cart-cube
From MaRDI portal
Software:46473
swMATH34764MaRDI QIDQ46473FDOQ46473
Author name not available (Why is that?)
Source code repository: https://github.com/dlicata335/cart-cube/
Cited In (9)
- Model structure on the universe of all types in interval type theory
- Title not available (Why is that?)
- Naive cubical type theory
- Title not available (Why is that?)
- 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
- Syntax and models of Cartesian cubical type theory
- An introduction to univalent foundations for mathematicians
This page was built for software: cart-cube
