An extension of the basic functionality theory for the -calculus (1980)

by M Coppo, M Dezani-Ciancaglini
Venue:Notre-Dame Journal of Formal Logic