hindley83a

R. Hindley. The Completeness Theorem for Typing Lambda-Terms. Theoretical Computer Science, 22:1-17, 1983.

Keyword

[ Parametricity ]

Contact

R. Hindley

BibTex Reference

@article{hindley83a,
   Author = {Hindley, R.},
   Title = {The Completeness Theorem for Typing Lambda-Terms},
   Journal = {Theoretical Computer Science},
   Volume = {22},
   Pages = {1--17},
   Year = {1983}
}

EndNote Reference [help]

Get EndNote Reference (.ref)