On Realisability Semantics for Intersection Types with Expansion Variables

DOI10.3233/FI-2012-774zbMath1272.03079OpenAlexW1656634778MaRDI QIDQ4903717

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

Publication date: 24 January 2013

Published in: Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3233/fi-2012-774

zbMATH Keywords

completenessintersection typesrealisability semanticsexpansion variables

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

This page was built for publication: On Realisability Semantics for Intersection Types with Expansion Variables