The following pages link to (Q4263871):
Displaying 5 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)
- Normalization by evaluation for the lambek calculus (Q6659901) (← links)
