Publication:2852351
From MaRDI portal
zbMath1273.03108MaRDI QIDQ2852351
Giuseppe Rosolini, Lars Birkedal, Rasmus Ejlers Møgelberg
Publication date: 8 October 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066106001952
68N15: Theory of programming languages
68N18: Functional programming and lambda calculus
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