Pages that link to "Item:Q2464940"
From MaRDI portal
The following pages link to Domain-theoretical models of parametric polymorphism (Q2464940):
Displaying 14 items.
- Synthetic domain theory and models of linear Abadi {\&} Plotkin logic (Q952487) (← links)
- Domain theoretic models of polymorphism (Q1824612) (← links)
- A full continuous model of polymorphism (Q1853594) (← links)
- Comprehensive Parametric Polymorphism: Categorical Models and Type Theory (Q2811329) (← links)
- Parametric domain-theoretic models of polymorphic intuitionistic/linear lambda calculus (Q2852350) (← links)
- Synthetic domain theory and models of linear Abadi \& Plotkin logic (Q2852351) (← links)
- Parametric Polymorphism — Universally (Q2947462) (← links)
- Parametric polymorphism and semantic subtyping (Q5176967) (← links)
- Parametric polymorphism for XML (Q5276134) (← links)
- Parametric Polymorphism through Run-Time Sealing or, Theorems for Low, Low Prices! (Q5458383) (← links)
- Category-theoretic models of linear Abadi \& Plotkin logic (Q5458501) (← links)
- (Q5851864) (← links)
- Programming Languages and Systems (Q5902370) (← links)
- An exper model for Quest (Q6116585) (← links)