Edinburgh LCF : a mechanised logic of computation
Author(s)
Bibliographic Information
Edinburgh LCF : a mechanised logic of computation
(Lecture notes in computer science, 78)
Springer-Verlag, 1980
- : gw
- : us
Note
Bibliography: p. [153]-157
Includes index