| Abstract Computing Machines: A Lambda Calculus Perspective Contributor(s): Kluge, Werner (Author) |
|
 |
ISBN: 3642059384 ISBN-13: 9783642059384 Publisher: Springer OUR PRICE: $103.55 Product Type: Paperback - Other Formats Published: November 2010 |
| Additional Information |
| BISAC Categories: - Computers | Programming Languages - General - Mathematics | Logic - Mathematics | Calculus |
| Dewey: 004 |
| Series: Texts in Theoretical Computer Science. an Eatcs |
| Physical Information: 0.82" H x 6.14" W x 9.21" (1.23 lbs) 384 pages |
| Descriptions, Reviews, Etc. |
| Publisher Description: The book emphasizes the design of full-fledged, fully normalizing lambda calculus machinery, as opposed to the just weakly normalizing machines. |