Pages that link to "Item:Q4921510"
From MaRDI portal
The following pages link to Operational Properties of Lily, a Polymorphic Linear Lambda Calculus with Recursion (Q4921510):
Displayed 5 items.
- Synthetic domain theory and models of linear Abadi {\&} Plotkin logic (Q952487) (← links)
- Program equivalence in linear contexts (Q2346993) (← links)
- Domain-theoretical models of parametric polymorphism (Q2464940) (← links)
- Bunched polymorphism (Q3545274) (← links)
- Relational Parametricity for Control Considered as a Computational Effect (Q5262944) (← links)