Realisability Semantics for Intersection Types and Expansion Variables

Communication orale non publiée/Abstract (Colloques, congrès, conférences scientifiques et actes)

Kamareddine, Fairouz; Nour, Karim; RAHLI, Vincent et al.

2008 • Workshop on Intersection Types and Related Systems (ITRS 2008)

Permalien
https://hdl.handle.net/10993/22681

semone.pdf

Preprint Auteur (176.59 kB)

Tous les documents dans ORBilu sont protégés par une licence d'utilisation.

Disciplines :

Sciences informatiques

Auteur, co-auteur :

Kamareddine, Fairouz

Nour, Karim

RAHLI, Vincent ; Heriot-Watt University > School of Mathematical and Computer Sciences

Wells, J. B.

Co-auteurs externes :

yes

Langue du document :

Anglais

Titre :

Realisability Semantics for Intersection Types and Expansion Variables

Date de publication/diffusion :

2008

Nom de la manifestation :

Workshop on Intersection Types and Related Systems (ITRS 2008)

Date de la manifestation :

March 2008

Commentaire :

Presented to ITRS'08, 4th Workshop on Intersection Types and Related Systems, Turin, Italy, 25 March 2008

Disponible sur ORBilu :

depuis le 30 novembre 2015

Nombre de vues

76 (dont 1 Unilu)

Nombre de téléchargements

49 (dont 1 Unilu)

citations WoS^™