The following pages link to (Q4263871):
Displaying 9 items.
- Pseudo-distributive laws and axiomatics for variable binding (Q853747) (← links)
- Type-directed specialization of polymorphism. (Q1854317) (← links)
- Relative full completeness for bicategorical Cartesian closed structure (Q2200828) (← links)
- Domain-theoretical models of parametric polymorphism (Q2464940) (← links)
- Type logics and pregroups (Q2467212) (← links)
- Weyl's predicative classical mathematics as a logic-enriched type theory (Q2946599) (← links)
- (Q3343960) (← links)
- (Q3995928) (← links)
- Normalization by evaluation for the lambek calculus (Q6659901) (← links)