G. Pottinger. A Type Assignment for the Strongly Normalizable Lambda-Terms. In To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism, J. Hindley, J. Seldin (eds.), pp. 561-577, Academic Press, 1980.
[ Parametricity ]
@InCollection{pottinger80,
Author = {Pottinger, G.},
Title = {A Type Assignment for the Strongly Normalizable Lambda-Terms},
BookTitle = {To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism},
editor = {Hindley, J. and Seldin, J.},
Pages = {561--577},
Publisher = {Academic Press},
Year = {1980}
}
Get EndNote Reference (.ref)