Edinburgh LCF : a mechanised logic of computation /
Gordon, Michael J. C., 1948-
Edinburgh LCF : a mechanised logic of computation / Michael J. Gordon, Arthur J. Milner, Christopher P. Wadsworth. - Berlin : Springer-Verlag, 1979. - viii, 159 p. ; 24 cm. - Lecture notes in computer science 78. . - Lecture notes in computer science 78. .
Includes bibliographical references (p. [153]-157) and index.
0387097244 (pbk.)
79-24745
Edinburgh LCF (Computer system).
Computable functions--Data processing.
Edinburgh LCF : a mechanised logic of computation / Michael J. Gordon, Arthur J. Milner, Christopher P. Wadsworth. - Berlin : Springer-Verlag, 1979. - viii, 159 p. ; 24 cm. - Lecture notes in computer science 78. . - Lecture notes in computer science 78. .
Includes bibliographical references (p. [153]-157) and index.
0387097244 (pbk.)
79-24745
Edinburgh LCF (Computer system).
Computable functions--Data processing.