Siirry suoraan sisältöön
Abstract Computing Machines
Tallenna

Abstract Computing Machines

The book emphasizes the design of full-fledged, fully normalizing lambda calculus machinery, as opposed to the just weakly normalizing machines.
Alaotsikko
A Lambda Calculus Perspective
Kirjailija
Werner Kluge
Painos
2005 ed.
ISBN
9783540211464
Kieli
englanti
Paino
446 grammaa
Julkaisupäivä
18.2.2005
Sivumäärä
384