Combinator graph reduction - a congruence and its applications

Författare
David Lester
(David Lester.)
Språk
Engelska
Förlag År Ort Om boken ISBN
Oxford Computing Laboratory 1989 Storbritannien, Oxford x, 136 sidor. ill.