scientific article; zbMATH DE number 5263667
From MaRDI portal
Publication:5458501
zbMath1140.03012MaRDI QIDQ5458501
Rasmus Ejlers Møgelberg, Rasmus L. Petersen, Lars Birkedal
Publication date: 15 April 2008
Full work available at URL: https://eudml.org/doc/129049
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Categorical logic, topoi (03G30) Categorical semantics of formal languages (18C50) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)
Related Items (3)
What should a generic object be? ⋮ Domain-theoretical models of parametric polymorphism ⋮ Synthetic domain theory and models of linear Abadi {\&} Plotkin logic
This page was built for publication:
