Realisability Semantics for Intersection Types and Expansion Variables

Unpublished conference/Abstract (Scientific congresses, symposiums and conference proceedings)

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

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

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

semone.pdf

Author preprint (176.59 kB)

All documents in ORBilu are protected by a user license.

Disciplines :

Computer science

Author, co-author :

Kamareddine, Fairouz

Nour, Karim

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

Wells, J. B.

External co-authors :

yes

Language :

English

Title :

Realisability Semantics for Intersection Types and Expansion Variables

Publication date :

2008

Event name :

Workshop on Intersection Types and Related Systems (ITRS 2008)

Event date :

March 2008

Commentary :

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

Available on ORBilu :

since 30 November 2015

Number of views

30 (1 by Unilu)

Number of downloads

33 (1 by Unilu)

WoS citations^™