The following pages link to (Q3201049):
Displaying 5 items.
- Higher-dimensional word problems with applications to equational logic (Q685405) (← links)
- Products of families of types and (Pi,lambda)-structures on C-systems (Q2953831) (← links)
- (Q3142163) (← links)
- An interpretation of dependent type theory in a model category of locally cartesian closed categories (Q5076386) (← links)
- (Q5155672) (← links)
