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