Research Catalog

Edinburgh LCF : a mechanised logic of computation

Title
Edinburgh LCF : a mechanised logic of computation / Michael J. Gordon, Arthur J. Milner, Christopher P. Wadsworth.
Author
Gordon, Michael J. C., 1948-
Publication
Berlin ; New York : Springer-Verlag, 1979.

Items in the Library & Off-site

Filter by

1 Item

StatusFormatAccessCall NumberItem Location
Request for On-site UseRequest Scan
Not available - Please for assistance.
TextUse in library QA9.59 .G67Off-site

Details

Additional Authors
  • Milner, R. (Robin), 1934-2010
  • Wadsworth, Christopher P.
Description
viii, 159 pages; 24 cm
Series Statement
Lecture notes in computer science ; 78
Uniform Title
Lecture notes in computer science ; 78.
Subject
  • Edinburgh LCF (Computer system)
  • Computable functions > Data processing
  • Berechenbarkeit
  • LISP
  • Lambda-Kalkül
  • Programmverifikation
Note
  • Includes index.
Bibliography (note)
  • Bibliography: p. 153-157
ISBN
  • 0387097244
  • 9780387097244
  • 3540097244
  • 9783540097242
  • 0540097244 (canceled/invalid)
LCCN
79024745
OCLC
  • ocm05726414
  • 5726414
  • SCSB-9155942
Owning Institutions
Princeton University Library