Publication:5458501
From MaRDI portal
zbMath1140.03012MaRDI QIDQ5458501
Rasmus L. Petersen, Lars Birkedal, Rasmus Ejlers Møgelberg
Publication date: 15 April 2008
Full work available at URL: https://eudml.org/doc/129049
fibrations; categorical semantics; parametric polymorphism; recursive types; axiomatic domain theory
03B70: Logic in computer science
68Q55: Semantics in the theory of computing
03G30: Categorical logic, topoi
18C50: Categorical semantics of formal languages
03B47: Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics)