Proceedings of the Sixth Workshop on Intersection Types and Related Systems (ITRS'12) - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Books Year : 2013

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

Domains

Logic in Computer Science [cs.LO]

Stéphane Graham-Lengrand  : Connect in order to contact the contributor

https://inria.hal.science/hal-00912611

Submitted on : Monday, December 2, 2013-1:48:53 PM

Last modification on : Tuesday, January 9, 2024-12:34:04 PM

Consult the full text

Dates and versions

hal-00912611 , version 1 (02-12-2013)

Identifiers

Cite

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⟩

Export

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

X CNRS INRIA LIX X-LIX X-DEP-INFO INRIA2
136 View
0 Download

Altmetric

Share

Gmail Facebook X LinkedIn More