UCL logo

UCL Discovery

UCL home » Library Services » Electronic resources » UCL Discovery

From Algol to polymorphic linear lambda-calculus.

O'Hearn, PW; Reynolds, JC; (2000) From Algol to polymorphic linear lambda-calculus. J. ACM , 47 , Article 1. 10.1145/331605.331611.

Full text not available from this repository.


Type:Article
Title:From Algol to polymorphic linear lambda-calculus.
DOI:10.1145/331605.331611
UCL classification:UCL > School of BEAMS > Faculty of Engineering Science > Computer Science

Archive Staff Only: edit this record