Gå direkte til innholdet
Abstract Computing Machines
Spar

Abstract Computing Machines

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