(Semi)-separability of Finite Sets of Terms in Scott's D_infty-Models of the lambda-Calculus.

Mario Coppo, Mariangiola Dezani-Ciancaglini, Simona Ronchi Della Rocca

Browse the full ICALP paper archive.