Spar
Abstract Computing Machines
Forfatter:
heftet, 2010
Engelsk
The book emphasizes the design of full-fledged, fully normalizing lambda calculusmachinery, as opposed to the just weakly normalizing machines.
- Undertittel
- A Lambda Calculus Perspective
- Forfatter
- Werner Kluge
- Opplag
- Softcover reprint of hardcover 1st ed. 2005
- ISBN
- 9783642059384
- Språk
- Engelsk
- Vekt
- 310 gram
- Utgivelsesdato
- 10.11.2010
- Antall sider
- 384