Abstract Computing Machines : A Lambda Calculus Perspective PDF
by Werner Kluge
Part of the Texts in Theoretical Computer Science. An EATCS Series series
- Information
Description
The book emphasizes the design of full-fledged, fully normalizing lambda calculus machinery, as opposed to the just weakly normalizing machines.
Information
-
Download Now
- Format:PDF
- Publisher:Springer Berlin Heidelberg
- Publication Date:02/12/2005
- Category:
- ISBN:9783540273592
Information
-
Download Now
- Format:PDF
- Publisher:Springer Berlin Heidelberg
- Publication Date:02/12/2005
- Category:
- ISBN:9783540273592