Pages that link to "Item:Q3325725"

The following pages link to Locally cartesian closed categories and type theory (Q3325725):

Displaying 3 items.

• Containers: Constructing strictly positive types (Q2566024) (← links)
• The Local Universes Model (Q2957763) (← links)
• A homotopy-theoretic model of function extensionality in the effective topos (Q3119466) (← links)