reynolds87

J. Reynolds. A Short History of Set-Theoretic Models of the Polymorphic Typed Lambda Calculus. 0.

Keyword

[ Parametricity ]

Contact

John C. Reynolds

BibTex Reference

@Misc{reynolds87,
   Author = {Reynolds, J.},
   Title = {A Short History of Set-Theoretic Models of the Polymorphic Typed Lambda Calculus},
   Year = {0}
}

EndNote Reference [help]

Get EndNote Reference (.ref)