ohre97

Peter O'Hearn, John C. Reynolds. From Algol to Polymorphic Linear Lambda-Calculus. Manuscript, April 1997.

Keyword

[ Parametricity ]

Contact

P. W. O'Hearn
John C. Reynolds

BibTex Reference

@Misc{ohre97,
   Author = {O'Hearn, Peter and Reynolds, John C.},
   Title = {From Algol to Polymorphic Linear Lambda-Calculus},
   Howpublished = {Manuscript},
   Month = {April},
   Year = {1997}
}

EndNote Reference [help]

Get EndNote Reference (.ref)