The following pages link to (Q4733863):
Displaying 15 items.
- Alpha conversion, conditions on variables and categorical logic (Q913792) (← links)
- Inheritance as implicit coercion (Q1175335) (← links)
- Comprehension categories and the semantics of type dependency (Q1208414) (← links)
- Proof-search in type-theoretic languages: An introduction (Q1575935) (← links)
- A higher-order calculus and theory abstraction (Q2639838) (← links)
- Products of families of types and (Pi,lambda)-structures on C-systems (Q2953831) (← links)
- (Q2968342) (← links)
- (Q3024853) (← links)
- (Q3142163) (← links)
- (Q3201049) (← links)
- On explicit substitutions and names (extended abstract) (Q4571957) (← links)
- Independence results for calculi of dependent types (Q5096258) (← links)
- Dictoses (Q5096262) (← links)
- CATEGORICAL MODEL CONSTRUCTION FOR PROVING SYNTACTIC PROPERTIES (Q5249254) (← links)
- (Q5752573) (← links)