Ouvrage (Y Compris Édition Critique Et Traduction)
Année : 2013
Stéphane Graham-Lengrand : Connectez-vous pour contacter le contributeur
https://inria.hal.science/hal-00912611
Soumis le : lundi 2 décembre 2013-13:48:53
Dernière modification le : mardi 9 janvier 2024-12:34:04
Dates et versions
Identifiants
- HAL Id : hal-00912611 , version 1
- ARXIV : 1307.7849
- DOI : 10.4204/EPTCS.121
Citer
Stéphane Graham-Lengrand, Luca Paolini. Proceedings of the Sixth Workshop on Intersection Types and Related Systems (ITRS'12). EPTCS, 121, pp.1--93, 2013, ⟨10.4204/EPTCS.121⟩. ⟨hal-00912611⟩
134
Consultations
0
Téléchargements