Implementation of functional programming languages
xviii,445p.
. - (Prentice hall international series in computer science/ edited by C.A.R. Hoare )
Graph reduction Lambda calculus
xviii,445p.
. - (Prentice hall international series in computer science/ edited by C.A.R. Hoare )
Graph reduction Lambda calculus