Edinburgh LCF
Subtitle: a mechanised logic of computation
By: Michael J. Gordon, Arthur J. Milner, Christopher P. Wadsworth.
Contributors: Milner, R. 1934- joint author.; Wadsworth, Christopher P., joint author.
Series: Lecture notes in computer science ;; 78
Publisher: Springer-Verlag
Published: 1979
Place of publication: Berlin; New York
Language: eng
Number of pages: 159
Subjects: Edinburgh LCF (Computer system); Computable functions -- Data processing.
Notes: Bibliography: p. [153]-157.
Includes index.