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 7 items.
- Synthetic domain theory and models of linear Abadi {\&} Plotkin logic (Q952487) (← links)
- Polymorphic lambda calculus with context-free session types (Q2105433) (← links)
- Program equivalence in linear contexts (Q2346993) (← links)
- Domain-theoretical models of parametric polymorphism (Q2464940) (← links)
- Bunched polymorphism (Q3545274) (← links)
- (Q4989404) (← links)
- Relational Parametricity for Control Considered as a Computational Effect (Q5262944) (← links)