Jump to : Keyword | Contact | BibTex reference | EndNote reference |

pottinger80

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.

Keyword

[ Parametricity ]

Contact

G. Pottinger

BibTex Reference

@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}
}

EndNote Reference [help]

Get EndNote Reference (.ref)