hi69

R. Hindley. The Principal Type-Scheme of an Object in Combinatory Logic. Trans. Amer. Math. Soc, 146:29-60, December 1969.

Keyword

[ Parametricity ]

Contact

R. Hindley

BibTex Reference

@article{hi69,
   Author = {Hindley, R.},
   Title = {The Principal Type-Scheme of an Object in Combinatory Logic},
   Journal = {Trans. Amer. Math. Soc},
   Volume = {146},
   Pages = {29--60},
   Month = {December},
   Year = {1969}
}

EndNote Reference [help]

Get EndNote Reference (.ref)