Skip to Main content Skip to Navigation
Books

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

Document type :
Books
Complete list of metadata

https://hal.inria.fr/hal-00912611
Contributor : Stéphane Graham-Lengrand <>
Submitted on : Monday, December 2, 2013 - 1:48:53 PM
Last modification on : Thursday, January 7, 2021 - 3:40:14 PM

Links full text

Identifiers

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⟩

Share

Metrics

Record views

279