Pages that link to "Item:Q3007659"
From MaRDI portal
The following pages link to The Biequivalence of Locally Cartesian Closed Categories and Martin-Löf Type Theories (Q3007659):
Displaying 5 items.
- A constructive manifestation of the Kleene-Kreisel continuous functionals (Q290639) (← links)
- The homotopy theory of type theories (Q1785779) (← links)
- Revisiting the categorical interpretation of dependent type theory (Q2253180) (← links)
- Dependent Types and Fibred Computational Effects (Q2811331) (← links)
- Data Types with Symmetries and Polynomial Functors over Groupoids (Q3178294) (← links)
