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 theoryintuitionistic set theorylinear lambda calculusparametric polymorphism

Mathematics Subject Classification ID

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

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

• 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
• 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?)
• 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)

• Parametric domain-theoretic models of polymorphic intuitionistic/linear lambda calculus
• 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
• Operational properties of \texttt{Lily}, a polymorphic linear lambda calculus with recursion
• LNL-FPC: the linear/non-linear fixpoint calculus
• Category-theoretic 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)