The following pages link to (Q4596801):
Displaying 6 items.
- Undecidability of the free adjoint construction (Q1410542) (← links)
- Three extensional models of type theory (Q3625679) (← links)
- Categories with Families: Unityped, Simply Typed, and Dependently Typed (Q5014596) (← links)
- On generalized algebraic theories and categories with families (Q5084311) (← links)
- (Q5089034) (← links)
- Modal dependent type theory and dependent right adjoints (Q5220184) (← links)