Pages that link to "Item:Q2253180"
From MaRDI portal
The following pages link to Revisiting the categorical interpretation of dependent type theory (Q2253180):
Displayed 5 items.
- A constructive manifestation of the Kleene-Kreisel continuous functionals (Q290639) (← links)
- Composition of deductions within the propositions-as-types paradigm (Q2228351) (← links)
- The Local Universes Model (Q2957763) (← links)
- Categories with Families: Unityped, Simply Typed, and Dependently Typed (Q5014596) (← links)
- The Interpretation Lifting Theorem for C-Systems (Q5025082) (← links)