Publication:4198724
From MaRDI portal
zbMath0411.03013MaRDI QIDQ4198724
Patrick Salle, Mariangiola Dezani-Ciancaglini, Mario Coppo
Publication date: 1979
Related Items
Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, Principal type schemes for an extended type theory, Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca, A typed lambda calculus with intersection types, Type theories, normal forms, and \(D_{\infty}\)-lambda-models, The Essence of Dependent Object Types, Unnamed Item, Unnamed Item