Autorenfreundlich Bücher kaufen?!
Beschreibung
The book emphasizes the design of full-fledged, fully normalizing lambda calculus machinery, as opposed to the just weakly normalizing machines.
A Lambda Calculus Perspective
Details
| Verlag | Springer Berlin |
| Ersterscheinung | 10. November 2010 |
| Maße | 23.5 cm x 15.5 cm |
| Gewicht | 611 Gramm |
| Format | Softcover |
| ISBN-13 | 9783642059384 |
| Auflage | Softcover reprint of hardcover 1st ed. 2005 |
| Seiten | 384 |