Sold Out
Book Categories |
Preliminary Table of Contents:
Algorithms and Programs.- An Algorithmic Language.- The Lambda Calculus.- the SE(M)CD-Machine.- Towards Full-fledged Lambda Calculus Machines.- Head-order Graph Reduction.- The B-Machine.- The G-Machine.- The p-RED Machinery.
Login|Complaints|Blog|Games|Digital Media|Souls|Obituary|Contact Us|FAQ
CAN'T FIND WHAT YOU'RE LOOKING FOR? CLICK HERE!!! X
You must be logged in to add to WishlistX
This item is in your Wish ListX
This item is in your CollectionAbstract Computing Machines: A Lambda Calculus Perspective
X
This Item is in Your InventoryAbstract Computing Machines: A Lambda Calculus Perspective
X
You must be logged in to review the productsX
X
X
Add Abstract Computing Machines: A Lambda Calculus Perspective, The book emphasizes the design of full-fledged, fully normalizing lambda calculus machinery, as opposed to the just weakly normalizing machines., Abstract Computing Machines: A Lambda Calculus Perspective to the inventory that you are selling on WonderClubX
X
Add Abstract Computing Machines: A Lambda Calculus Perspective, The book emphasizes the design of full-fledged, fully normalizing lambda calculus machinery, as opposed to the just weakly normalizing machines., Abstract Computing Machines: A Lambda Calculus Perspective to your collection on WonderClub |