Synthetic domain theory and models of linear Abadi {\&} Plotkin logic

DOI10.1016/j.apal.2008.03.006zbMath1153.03007MaRDI QIDQ952487

Giuseppe Rosolini, Lars Birkedal, Rasmus Ejlers Møgelberg

Publication date: 12 November 2008

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2008.03.006

zbMATH Keywords

domain theory; parametric polymorphism; intuitionistic set theory; linear lambda calculus

Mathematics Subject Classification ID

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

03B47: Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics)

03F55: Intuitionistic mathematics