Publication:2852350

zbMath1273.03099MaRDI QIDQ2852350

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

Publication date: 8 October 2013

Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066106001940

Mathematics Subject Classification ID

03B70: Logic in computer science

68Q55: Semantics in the theory of computing

03G30: Categorical logic, topoi

18C50: Categorical semantics of formal languages

03F55: Intuitionistic mathematics

03B40: Combinatory logic and lambda calculus