Daniel J. Dougherty, Stéphane Lengrand, Pierre Lescanne. An Improved System of Intersection Types for Explicit Substitutions. In Ricardo A. Baeza-Yates, Ugo Montanari, Nicola Santoro, editors, Foundations of Information Technology in the Era of Networking and Mobile Computing, IFIP 17:::th::: World Computer Congress - TC1 Stream / 2:::nd::: IFIP International Conference on Theoretical Computer Science (TCS 2002), August 25-30, 2002, Montr&eacut. Volume 223 of IFIP Conference Proceedings, pages 511-523, Kluwer, 2002.
@inproceedings{DoughertyLL02,
title = {An Improved System of Intersection Types for Explicit Substitutions},
author = {Daniel J. Dougherty and Stéphane Lengrand and Pierre Lescanne},
year = {2002},
tags = {type system},
researchr = {https://researchr.org/publication/DoughertyLL02},
cites = {0},
citedby = {0},
pages = {511-523},
booktitle = {Foundations of Information Technology in the Era of Networking and Mobile Computing, IFIP 17:::th::: World Computer Congress - TC1 Stream / 2:::nd::: IFIP International Conference on Theoretical Computer Science (TCS 2002), August 25-30, 2002, Montr&eacut},
editor = {Ricardo A. Baeza-Yates and Ugo Montanari and Nicola Santoro},
volume = {223},
series = {IFIP Conference Proceedings},
publisher = {Kluwer},
isbn = {1-4020-7181-7},
}