Category-theoretic models of linear Abadi \& Plotkin logic

zbMATH Open1140.03012MaRDI QIDQ5458501FDOQ5458501

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

Publication date: 15 April 2008

Full work available at URL: https://eudml.org/doc/129049

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

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

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)

Cited In (7)

• Synthetic domain theory and models of linear Abadi {\&} Plotkin logic
• Title not available (Why is that?)
• What should a generic object be?
• Categorical models for Abadi and Plotkin's logic for parametricity
• Domain-theoretical models of parametric polymorphism
• Partial hyperdoctrines: categorical models for partial function logic and Hoare logic
• Title not available (Why is that?)

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)