Mario Coppo, Mariangiola Dezani-Ciancaglini, Simona Ronchi Della Rocca. (Semi)-separability of Finite Sets of Terms in Scott s D_infty-Models of the lambda-Calculus. In Giorgio Ausiello, Corrado Böhm, editors, Automata, Languages and Programming, Fifth Colloquium, Udine, Italy, July 17-21, 1978, Proceedings. Volume 62 of Lecture Notes in Computer Science, pages 142-164, Springer, 1978.
@inproceedings{CoppoDR78,
title = {(Semi)-separability of Finite Sets of Terms in Scott s D_infty-Models of the lambda-Calculus},
author = {Mario Coppo and Mariangiola Dezani-Ciancaglini and Simona Ronchi Della Rocca},
year = {1978},
researchr = {https://researchr.org/publication/CoppoDR78},
cites = {0},
citedby = {0},
pages = {142-164},
booktitle = {Automata, Languages and Programming, Fifth Colloquium, Udine, Italy, July 17-21, 1978, Proceedings},
editor = {Giorgio Ausiello and Corrado Böhm},
volume = {62},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-08860-1},
}