by79

C. Ben-Yelles. Type-assignment in the Lambda-calculus. PhD Thesis University College, Swansea, 1979.

Keyword

[ Parametricity ]

Contact

C. Ben-Yelles

BibTex Reference

@PhdThesis{by79,
   Author = {Ben-Yelles, C.},
   Title = {Type-assignment in the Lambda-calculus},
   School = {University College, Swansea},
   Year = {1979}
}

EndNote Reference [help]

Get EndNote Reference (.ref)