The following pages link to (Q3680264):
Displaying 12 items.
- A characterization of lambda definability in categorical models of implicit polymorphism (Q673121) (← links)
- Extensional models for polymorphism (Q749518) (← links)
- The semantics of second-order lambda calculus (Q751294) (← links)
- Functorial polymorphism (Q753948) (← links)
- Kripke logical relations and PCF (Q1898483) (← links)
- Syntactic logical relations for polymorphic and recursive types (Q2864153) (← links)
- Lightweight static capabilities (Q2866337) (← links)
- (Q2996331) (← links)
- Parametricity of extensionally collapsed term models of polymorphism and their categorical properties (Q5096235) (← links)
- Inductively defined types in the Calculus of Constructions (Q5887516) (← links)
- Mechanizing logical relations (Q5890057) (← links)
- Types, abstraction, and parametric polymorphism, part 2 (Q6171748) (← links)