Proceedings of the Sixth Workshop on Intersection Types and Related Systems (ITRS'12)

Stéphane Graham-Lengrand 1, 2 Luca Paolini 3
2 PARSIFAL - Proof search and reasoning with logic specifications
LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau], Inria Saclay - Ile de France, Polytechnique - X, CNRS - Centre National de la Recherche Scientifique : UMR7161
Type de document :
Ouvrage (y compris édition critique et traduction)
EPTCS, 121, pp.1--93, 2013, 〈10.4204/EPTCS.121〉
Liste complète des métadonnées

https://hal.inria.fr/hal-00912611
Contributeur : Stéphane Graham-Lengrand <>
Soumis le : lundi 2 décembre 2013 - 13:48:53
Dernière modification le : jeudi 11 janvier 2018 - 06:22:14

Identifiants

Collections

Citation

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〉

Partager

Métriques

Consultations de la notice

163