Linear Abadi and Plotkin Logic

DOI10.2168/LMCS-2(5:2)2006zbMath1127.03022MaRDI QIDQ5310673

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

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

Related Items (3)

Domain-theoretical models of parametric polymorphism ⋮ Synthetic domain theory and models of linear Abadi {\&} Plotkin logic ⋮ Relational Parametricity for Control Considered as a Computational Effect

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