Reducibility Proofs in the λ-Calculi with Intersection Types

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

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

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

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

reducibility.pdf

Preprint Auteur (248.87 kB)

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

Disciplines :

Sciences informatiques

Auteur, co-auteur :

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

Co-auteurs externes :

yes

Langue du document :

Anglais

Titre :

Reducibility Proofs in the λ-Calculi with Intersection Types

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

55 (dont 2 Unilu)

Nombre de téléchargements

182 (dont 1 Unilu)