Open AccessRealisability Semantics for Intersection Types and Expansion Variables
Author(s) -
Fairouz Kamareddine,
Karim Nour,
Vincent Rahli,
Jon-Paul R. Wells
Publication year - 2008
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - English
Resource type - Conference proceedings
Subject(s) - intersection (aeronautics) , semantics (computer science) , computer science , programming language , artificial intelligence , theoretical computer science , engineering , aerospace engineering