Silvia Ghilezan. Intersection Types and Topologies and Lambda Calculus. In Ugo Montanari, José D. P. Rolim, Emo Welzl, editors, Automata, Languages and Programming, 27th International Colloquium, ICALP 2000, Geneva, Switzerland, July 9-15, 2000, Proceedings. Volume 1853 of Lecture Notes in Computer Science, pages 303-304, Springer, 2000.
@inproceedings{Ghilezan00,
title = {Intersection Types and Topologies and Lambda Calculus},
author = {Silvia Ghilezan},
year = {2000},
researchr = {https://researchr.org/publication/Ghilezan00},
cites = {0},
citedby = {0},
pages = {303-304},
booktitle = {Automata, Languages and Programming, 27th International Colloquium, ICALP 2000, Geneva, Switzerland, July 9-15, 2000, Proceedings},
editor = {Ugo Montanari and José D. P. Rolim and Emo Welzl},
volume = {1853},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-67715-1},
}