Synthetic domain theory and models of linear Abadi {\&} Plotkin logic
DOI10.1016/J.APAL.2008.03.006zbMATH Open1153.03007OpenAlexW2030533270MaRDI QIDQ952487FDOQ952487
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
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
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)
Cites Work
- Categorical logic and type theory
- Title not available (Why is that?)
- Categorical models for Abadi and Plotkin's logic for parametricity
- Title not available (Why is that?)
- Computational adequacy for recursive types in models of intuitionistic set theory
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Types, abstraction, and parametric polymorphism, part 2
- Relating categorical semantics for intuitionistic linear logic
- Title not available (Why is that?)
- Title not available (Why is that?)
- Domain-theoretical models of parametric polymorphism
- Operational properties of \texttt{Lily}, a polymorphic linear lambda calculus with recursion
- Linear Abadi and Plotkin Logic
- Category-theoretic models of linear Abadi \& Plotkin logic
Cited In (7)
- 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
- Title not available (Why is that?)
- Parametric domain-theoretic models of polymorphic intuitionistic/linear lambda calculus
- Synthetic domain theory and models of linear Abadi \& Plotkin logic
- Interpreting Polymorphic FPC into Domain Theoretic Models of Parametric Polymorphism
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)
