Searching for "From Algol to polymorphic linear lambda-calculus." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

From Algol to Polymorphic Linear Lambda-calculus
by Peter W. O'Hearn, Queen Mary, John C. Reynolds — 1997
…From Algol to Polymorphic Linear Lambda-calculus Peter W. O'Hearn Queen Mary & Westfield College…
Cited by 45 (5 self) – Add To MetaCart

166 Bibliography
by Joshua James Berdine
… Algol to polymorphic linear lambda-calculus. Journal of the ACM, 47(1):167–223, January 2000. [Pie02…
Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB