Pages that link to "Item:Q2864153"
From MaRDI portal
The following pages link to Syntactic Logical Relations for Polymorphic and Recursive Types (Q2864153):
Displayed 5 items.
- Typing termination in a higher-order concurrent imperative language (Q979082) (← links)
- A family of syntactic logical relations for the semantics of Haskell-like languages (Q1012131) (← links)
- Parametricity, type equality, and higher-order polymorphism (Q3564921) (← links)
- Realisability semantics of parametric polymorphism, general references and recursive types (Q3583027) (← links)
- Realizability Semantics of Parametric Polymorphism, General References, and Recursive Types (Q3617747) (← links)