Parametric domain-theoretic models of polymorphic intuitionistic/linear lambda calculus

MaRDI QIDQ2852350zbMATH OpenFDO

Authors Rasmus Ejlers Møgelberg, Rasmus L. Petersen, Lars Birkedal

Publication date 8 October 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066106001940

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Logic in computer science (03B70) Intuitionistic mathematics (03F55) Categorical logic, topoi (03G30) Categorical semantics of formal languages (18C50) Semantics in the theory of computing (68Q55)

Recommendations

• Category-theoretic models of linear Abadi \& Plotkin logic
• Domain-theoretical models of parametric polymorphism
• Synthetic domain theory and models of linear Abadi {\&} Plotkin logic
• Synthetic domain theory and models of linear Abadi \& Plotkin logic
• From parametric polymorphism to models of polymorphic FPC

Cited in

(13)

• Quantitative domains and infinitary algebras
• Domain-theoretical models of parametric polymorphism
• Selective strictness and parametricity in structural operational semantics, inequationally
• Synthetic domain theory and models of linear Abadi \& Plotkin logic
• From parametric polymorphism to models of polymorphic FPC
• Interpreting Polymorphic FPC into Domain Theoretic Models of Parametric Polymorphism
• scientific article; zbMATH DE number 1223626 (Why is no real title available?)
• Linear Abadi and Plotkin Logic
• Category-theoretic models of linear Abadi \& Plotkin logic
• The parametric lambda calculus. A metamodel for computation.
• On the relations between monadic semantics
• Parametric \(\lambda \)-theories
• Synthetic domain theory and models of linear Abadi {\&} Plotkin logic

This page was built for publication: Parametric domain-theoretic models of polymorphic intuitionistic/linear lambda calculus

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2852350)