The following pages link to (Q3201049):
Displaying 7 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)
- The Substitution Vanishes (Q3623933) (← links)
- An interpretation of dependent type theory in a model category of locally cartesian closed categories (Q5076386) (← links)
- (Q5155672) (← links)
- Simultaneous substitution in the typed lambda calculus (Q6116572) (← links)