hindley2008

J. Roger Hindley. M. H. Newman's Typability Algorithm for Lambda-calculus. J. Log. Comput, 18(2):229-238, 2008.

Keyword

[ Parametricity ]

Contact

J. Roger Hindley

BibTex Reference

@article{hindley2008,
   Author = {Hindley, J. Roger},
   Title = {{M. H. Newman's} Typability Algorithm for Lambda-calculus},
   Journal = {J. Log. Comput},
   Volume = {18},
   Number = {2},
   Pages = {229--238},
   Year = {2008}
}

EndNote Reference [help]

Get EndNote Reference (.ref)