statman80

R. Statman. On the Existence of Closed Terms in the Type Lambda-Calculus I. In To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism, J. Hindley, J. Seldin (eds.), pp. 511-534, Academic Press, 1980.

Keyword

[ Typetheory ]

Contact

R. Statman

BibTex Reference

@InCollection{statman80,
   Author = {Statman, R.},
   Title = {On the Existence of Closed Terms in the Type Lambda-Calculus I},
   BookTitle = {To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism},
   editor = {Hindley, J. and Seldin, J.},
   Pages = {511--534},
   Publisher = {Academic Press},
   Year = {1980}
}

EndNote Reference [help]

Get EndNote Reference (.ref)