Abstract Computing Machines
Download or Read eBook Abstract Computing Machines PDF written by Werner Kluge and published by Springer Science & Business Media. This book was released on 2005-12-02 with total page 382 pages. Available in PDF, EPUB and Kindle.
Author | : Werner Kluge |
Publisher | : Springer Science & Business Media |
Total Pages | : 382 |
Release | : 2005-12-02 |
ISBN-10 | : 9783540273592 |
ISBN-13 | : 354027359X |
Rating | : 4/5 (92 Downloads) |
Book Synopsis Abstract Computing Machines by : Werner Kluge
Book excerpt: The book emphasizes the design of full-fledged, fully normalizing lambda calculus machinery, as opposed to the just weakly normalizing machines.