@inproceedings{f871c0219891419da4a2c8f8739da0f9,
title = "A decidable intersection type system based on relevance",
abstract = "In this paper we introduce a notion of “relevance” for type assignment systems including intersection types. We define a relevant system which is an extension of a particular rank 2 intersection system and of the polymorphic type discipline limited to rank 2. We study some of its properties and finally state the decidability of type inference providing an algorithm which is sound and complete.",
author = "Ferruccio Damiani and Paola Giannini",
note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 1994.; 2nd International Symposium on Theoretical Aspects of Computer Software, TACS 1994 ; Conference date: 19-04-1994 Through 22-04-1994",
year = "1994",
doi = "10.1007/3-540-57887-0\_122",
language = "English",
isbn = "9783540578871",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "707--725",
editor = "Masami Hagiya and Mitchell, \{John C.\}",
booktitle = "Theoretical Aspects of Computer Software - International Symposium TACS 1994, Proceedings",
address = "Germany",
}