Gå direkt till innehållet
Abstract Computing Machines
Spara

Abstract Computing Machines

Lägsta pris på PriceRunner
The book emphasizes the design of full-fledged, fully normalizing lambda calculus machinery, as opposed to the just weakly normalizing machines.
Undertitel
A Lambda Calculus Perspective
Författare
Werner Kluge
Upplaga
2005 ed.
ISBN
9783540211464
Språk
Engelska
Vikt
446 gram
Utgivningsdatum
2005-02-18
Sidor
384