Simona Ronchi Della Rocca. Discriminability of Infinite Sets of Terms in the D::infinity::-Models of the lambda-calculus. In Egidio Astesiano, Corrado Böhm, editors, CAAP 81, Trees in Algebra and Programming, 6th Colloquium, Genoa, Italy, March 5-7, 1981, Proceedings. Volume 112 of Lecture Notes in Computer Science, pages 350-364, Springer, 1981.
Abstract is missing.