Gå direkte til innholdet
Abstract Computing Machines
Spar

Abstract Computing Machines

The book emphasizes the design of full-fledged, fully normalizing lambda calculus machinery, as opposed to the just weakly normalizing machines.
Undertittel
A Lambda Calculus Perspective
Forfatter
Werner Kluge
Opplag
2005 ed.
ISBN
9783540211464
Språk
Engelsk
Vekt
446 gram
Utgivelsesdato
18.2.2005
Antall sider
384