The following pages link to Guarded cubical type theory (Q2319985):
Displaying 6 items.
- Temporal refinements for guarded recursive types (Q2233479) (← links)
- Formalizing CCS and \(\pi\)-calculus in Guarded Cubical Agda (Q2683037) (← links)
- Cubical Agda: A dependently typed programming language with univalence and higher inductive types (Q5016211) (← links)
- Syntax and models of Cartesian cubical type theory (Q5022926) (← links)
- Cubical methods in homotopy type theory and univalent foundations (Q5055493) (← links)
- Modal dependent type theory and dependent right adjoints (Q5220184) (← links)
