[Download] Abstract Computing Machines: A Lambda Calculus Perspective (Texts in Theoretical Computer Science. An EATCS Series) by Werner Kluge ~ eBook PDF Kindle ePub Free
The book emphasizes the design of full-fledged, fully normalizing lambda calculus machinery, as opposed to the just weakly normalizing machines.
eBook details
- Title: Abstract Computing Machines: A Lambda Calculus Perspective (Texts in Theoretical Computer Science. An EATCS Series)
- Author : Werner Kluge
- Release Date : *
- Genre: Books,Computers & Technology,Hardware & DIY
- Pages : * pages
- Size : * KB
Post a Comment for "[Download] Abstract Computing Machines: A Lambda Calculus Perspective (Texts in Theoretical Computer Science. An EATCS Series) by Werner Kluge ~ eBook PDF Kindle ePub Free"