Linear Abadi and Plotkin Logic

DOI10.2168/LMCS-2(5:2)2006zbMATH Open1127.03022MaRDI QIDQ5310673FDOQ5310673

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)

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

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)

Cited In (8)

• Synthetic domain theory and models of linear Abadi {\&} Plotkin logic
• Category-theoretic models of linear Abadi \& Plotkin logic
• Title not available (Why is that?)
• 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)