Similar Items: A Cubical Language for Bishop Sets
- Direct spectra of Bishop spaces and their limits
- Internal Parametricity for Cubical Type Theory
- Unifying cubical and multimodal type theory
- Pre-measure spaces and pre-integration spaces in predicative Bishop-Cheng measure theory
- Axioms for Modelling Cubical Type Theory in a Topos
- Canonicity and homotopy canonicity for cubical type theory