Reducibility Proofs in the λ-Calculi with Intersection Types

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

Kamareddine, Fairouz; Rahli, Vincent; Wells, J. B.

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

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

reducibility.pdf

Author preprint (248.87 kB)

All documents in ORBilu are protected by a user license.

Disciplines :

Computer science

Author, co-author :

Kamareddine, Fairouz; Heriot-Watt University > School of Mathematical and Computer Sciences

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

Wells, J. B.; Heriot-Watt University > School of Mathematical and Computer Sciences

External co-authors :

yes

Language :

English

Title :

Reducibility Proofs in the λ-Calculi with Intersection Types

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

33 (2 by Unilu)

Number of downloads

152 (1 by Unilu)