scientific article
From MaRDI portal
Publication:2852351
zbMath1273.03108MaRDI QIDQ2852351
Rasmus Ejlers Møgelberg, Giuseppe Rosolini, Lars Birkedal
Publication date: 8 October 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066106001952
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Theory of programming languages (68N15) Functional programming and lambda calculus (68N18) Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Categorical logic, topoi (03G30) Categorical semantics of formal languages (18C50) Intuitionistic mathematics (03F55)
This page was built for publication:
