Intersection Types with Subtyping by Means of Cut Elimination - Archive ouverte HAL
Article Dans Une Revue Fundamenta Informaticae Année : 2012

Intersection Types with Subtyping by Means of Cut Elimination

Résumé

We give a purely syntactic proof (from scratch) of the subject equality property of the BCD intersection type system through a reformulation of the subtyping relation having a ''cut-elimination'' property.
Fichier non déposé

Dates et versions

hal-00768868 , version 1 (26-12-2012)

Identifiants

Citer

Olivier Laurent. Intersection Types with Subtyping by Means of Cut Elimination. Fundamenta Informaticae, 2012, 121 (1-4), pp.203-226. ⟨10.3233/FI-2012-776⟩. ⟨hal-00768868⟩
190 Consultations
0 Téléchargements

Altmetric

Partager

More