Synthetic domain theory and models of linear Abadi {\&} Plotkin logic

DOI10.1016/J.APAL.2008.03.006MaRDI QIDQ952487zbMATH OpenOpenAlexFDO

Authors Rasmus Ejlers Møgelberg, Lars Birkedal, Giuseppe Rosolini

Publication date 12 November 2008

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.apal.2008.03.006

zbMATH Keywords

domain theoryparametric polymorphismintuitionistic set theorylinear lambda calculus

Mathematics Subject Classification ID

Theory of programming languages (68N15) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Logic in computer science (03B70) Categorical logic, topoi (03G30) Categorical semantics of formal languages (18C50) Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55) Intuitionistic mathematics (03F55)

Recommendations

• Synthetic domain theory and models of linear Abadi \& Plotkin logic
• Parametric domain-theoretic models of polymorphic intuitionistic/linear lambda calculus
• Category-theoretic models of linear Abadi \& Plotkin logic
• Domain-theoretical models of parametric polymorphism
• Interpreting Polymorphic FPC into Domain Theoretic Models of Parametric Polymorphism

Cites work

• scientific article; zbMATH DE number 431762 (Why is no real title available?)
• scientific article; zbMATH DE number 19484 (Why is no real title available?)
• scientific article; zbMATH DE number 3522182 (Why is no real title available?)
• scientific article; zbMATH DE number 1342221 (Why is no real title available?)
• scientific article; zbMATH DE number 512773 (Why is no real title available?)
• scientific article; zbMATH DE number 512792 (Why is no real title available?)
• scientific article; zbMATH DE number 515728 (Why is no real title available?)
• scientific article; zbMATH DE number 813127 (Why is no real title available?)
• Categorical logic and type theory
• Categorical models for Abadi and Plotkin's logic for parametricity
• Category-theoretic models of linear Abadi \& Plotkin logic
• Computational adequacy for recursive types in models of intuitionistic set theory
• Domain-theoretical models of parametric polymorphism
• Linear Abadi and Plotkin Logic
• Operational properties of \texttt{Lily}, a polymorphic linear lambda calculus with recursion
• Relating categorical semantics for intuitionistic linear logic
• Types, abstraction, and parametric polymorphism, part 2

Cited in

(7)

• Interpreting Polymorphic FPC into Domain Theoretic Models of Parametric Polymorphism
• Category-theoretic models of linear Abadi \& Plotkin logic
• Operational properties of \texttt{Lily}, a polymorphic linear lambda calculus with recursion
• From parametric polymorphism to models of polymorphic FPC
• scientific article; zbMATH DE number 7350775 (Why is no real title available?)
• Parametric domain-theoretic models of polymorphic intuitionistic/linear lambda calculus
• Synthetic domain theory and models of linear Abadi \& Plotkin logic

This page was built for publication: Synthetic domain theory and models of linear Abadi {\&} Plotkin logic

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