cdv80

M. Coppo, M. Dezani-Ciancaglini, B. Venneri. Prinicipal Type Schemes and Lambda-Calculus Semantics. In To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism, J. Seldin, J. Hindley (eds.), pp. 535-560, Academic Press, 1980.

Keyword

[ Parametricity ]

Contact

Mario Coppo
Mariangiola Dezani-Ciancaglini
B. Venneri

BibTex Reference

@InCollection{cdv80,
   Author = {Coppo, M. and Dezani-Ciancaglini, M. and Venneri, B.},
   Title = {Prinicipal Type Schemes and Lambda-Calculus Semantics},
   BookTitle = {To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism},
   editor = {Seldin, J. and Hindley, J.},
   Pages = {535--560},
   Publisher = {Academic Press},
   Year = {1980}
}

EndNote Reference [help]

Get EndNote Reference (.ref)