A Complete Realisability Semantics for Intersection Types and Arbitrary Expansion Variables

DOI10.1007/978-3-540-85762-4_12zbMath1161.68558arXiv0905.1566OpenAlexW2136711795MaRDI QIDQ5505601

J. B. Wells, Vincent Rahli, Fairouz Kamareddine, Karim Nour

Publication date: 27 January 2009

Published in: Theoretical Aspects of Computing - ICTAC 2008 (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/0905.1566

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55)

This page was built for publication: A Complete Realisability Semantics for Intersection Types and Arbitrary Expansion Variables