Ronchi della Rocca, "(Semi)- separability of finite sets of terms (1978)

by M Coppo, M Dezani-Ciancaglini, S
Venue:in Scott's D1-models of the - calculus", LNCS 62