Pages that link to "Item:Q2852350"
From MaRDI portal
The following pages link to Parametric domain-theoretic models of polymorphic intuitionistic/linear lambda calculus (Q2852350):
Displaying 10 items.
- The parametric lambda calculus. A metamodel for computation. (Q703856) (← links)
- On the relations between monadic semantics (Q879354) (← links)
- Parametric \(\lambda \)-theories (Q930867) (← links)
- Synthetic domain theory and models of linear Abadi {\&} Plotkin logic (Q952487) (← links)
- Quantitative domains and infinitary algebras (Q1185015) (← links)
- Domain-theoretical models of parametric polymorphism (Q2464940) (← links)
- Selective strictness and parametricity in structural operational semantics, inequationally (Q2464947) (← links)
- Synthetic domain theory and models of linear Abadi \& Plotkin logic (Q2852351) (← links)
- (Q4218937) (← links)
- Category-theoretic models of linear Abadi \& Plotkin logic (Q5458501) (← links)