Pages that link to "Item:Q4683858"

The following pages link to Categorical structures for type theory in univalent foundations (Q4683858):

Displaying 6 items.

• Displayed Categories (Q3121521) (← links)
• Categorical structures for type theory in univalent foundations (Q4683858) (← links)
• Categories with Families: Unityped, Simply Typed, and Dependently Typed (Q5014596) (← links)
• The Interpretation Lifting Theorem for C-Systems (Q5025082) (← links)
• Bicategories in univalent foundations (Q5055496) (← links)
• (Q5089004) (← links)