Category-theoretic models of linear Abadi \& Plotkin logic

MaRDI QIDQ5458501zbMATH OpenFDO

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

Publication date 15 April 2008

Full work available at URL https://eudml.org/doc/129049, http://www.emis.de/journals/TAC/volumes/20/7/20-07abs.html

IPFS File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

zbMATH Keywords

categorical semanticsfibrationsparametric polymorphismrecursive typesaxiomatic domain theory

Mathematics Subject Classification ID

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) Semantics in the theory of computing (68Q55)

Recommendations

• Parametric domain-theoretic models of polymorphic intuitionistic/linear lambda calculus
• Synthetic domain theory and models of linear Abadi {\&} Plotkin logic
• Synthetic domain theory and models of linear Abadi \& Plotkin logic
• Linear Abadi and Plotkin Logic
• Domain-theoretical models of parametric polymorphism

Cited in

(10)

• Synthetic domain theory and models of linear Abadi {\&} Plotkin logic
• scientific article; zbMATH DE number 5000963 (Why is no real title available?)
• Categorical models for Abadi and Plotkin's logic for parametricity
• What should a generic object be?
• Synthetic domain theory and models of linear Abadi \& Plotkin logic
• scientific article; zbMATH DE number 4202257 (Why is no real title available?)
• Linear Abadi and Plotkin Logic
• Parametric domain-theoretic models of polymorphic intuitionistic/linear lambda calculus
• Partial hyperdoctrines: categorical models for partial function logic and Hoare logic
• Domain-theoretical models of parametric polymorphism

This page was built for publication: Category-theoretic 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 Q5458501)