ho80

W. Howard. The Formulae-as-Types Notion of Construction. In To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism, J. Seldin, J. Hindley (eds.), pp. 479-490, Academic Press, 1980.

Keyword

[ Typetheory ]

Contact

W. Howard

BibTex Reference

@InCollection{ho80,
   Author = {Howard, W.},
   Title = {The Formulae-as-Types Notion of Construction},
   BookTitle = {To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism},
   editor = {Seldin, J. and Hindley, J.},
   Pages = {479--490},
   Publisher = {Academic Press},
   Year = {1980}
}

EndNote Reference [help]

Get EndNote Reference (.ref)