The following pages link to (Q2753670):
Displaying 6 items.
- Linear realizability and full completeness for typed lambda-calculi (Q556821) (← links)
- A categorical model for the geometry of interaction (Q817846) (← links)
- A game semantics for generic polymorphism (Q1772770) (← links)
- A full continuous model of polymorphism (Q1853594) (← links)
- Genericity and the \(\pi\)-calculus (Q2576663) (← links)
- Coherence Spaces and Uniform Continuity (Q2988356) (← links)