Linear Abadi and Plotkin Logic

DOI10.2168/LMCS-2(5:2)2006MaRDI QIDQ5310673zbMATH OpenFDO

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

Publication date 11 October 2007

Published in Logical Methods in Computer Science (Search for Journal in Brave)

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Logic in computer science (03B70) Abstract data types; algebraic specification (68Q65)

Recommendations

• Category-theoretic models of linear Abadi \& Plotkin logic
• scientific article; zbMATH DE number 512792
• scientific article; zbMATH DE number 1342287
• Parametric domain-theoretic models of polymorphic intuitionistic/linear lambda calculus
• scientific article; zbMATH DE number 1183239

Cited in

(8)

• Synthetic domain theory and models of linear Abadi {\&} Plotkin logic
• Category-theoretic models of linear Abadi \& Plotkin logic
• scientific article; zbMATH DE number 4135919 (Why is no real title available?)
• Domain-theoretical models of parametric polymorphism
• Relational parametricity for control considered as a computational effect
• On linear Brouwerian logics
• A Logic for Parametric Polymorphism with Effects
• Linear Logic and Strong Normalization

This page was built for publication: Linear Abadi and Plotkin Logic

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