Ebook: Edinburgh LCF: A Mechanised Logic of Computation
- Tags: Computer Science general
- Series: Lecture Notes in Computer Science 78
- Year: 1979
- Publisher: Springer-Verlag Berlin Heidelberg
- Edition: 1
- Language: English
- pdf
Content:
Front Matter....Pages -
Introduction....Pages 1-12
ML....Pages 13-61
PPLAMBDA....Pages 62-86
Back Matter....Pages -
Content:
Front Matter....Pages -
Introduction....Pages 1-12
ML....Pages 13-61
PPLAMBDA....Pages 62-86
Back Matter....Pages -
....
Download the book Edinburgh LCF: A Mechanised Logic of Computation for free or read online
Continue reading on any device:
Last viewed books
Related books
{related-news}
Comments (0)