Edinburgh LCF : a mechanised logic of computation

Author(s)

• Gordon, Michael J. C.
• Milner, Robin
• Wadsworth, Christopher P.

Bibliographic Information

Edinburgh LCF : a mechanised logic of computation

Michael J. Gordon, Arthur J. Milner, Christopher P. Wadsworth

（Lecture notes in computer science, 78）

Springer-Verlag, 1980

• : gw
• : us

Note

Bibliography: p. [153]-157

Includes index

Details

• NCID: BA11502660
• ISBN:
  • 3540097244
  • 0387097244
• Country Code: gw
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Berlin ; New York
• Pages/Volumes: v, 159 p.
• Size: 25 cm
• Classification:
  • LCC : QA9.59
  • DC : 510/.8 s
  • DC : 001.6/4
• Subject Headings:
  • LCSH : Edinburgh LCF (Computer system)
  • LCSH : Computable functions -- Data processing
• Parent Bibliography ID:
  • BA00009279