An extension of the basic functionality theory for the λ-calculus
- authors: M Coppo, M Dezani-Ciancaglini
- year: 1980
- url: https://www.semanticscholar.org/paper/An-extension-of-the-basic-functionality-theory-for-Coppo-Dezani-Ciancaglini/d8b2a5fd496abc76e286dc92d1d616d63c0e8f95
- publisher: Duke University Press
- abstract: