Premium & Rewards Members Earn Double Stamps Shop Now Ends 7/5Premium & Rewards Members Earn Double Stamps Shop Now Ends 7/5
Add Item to wish listAdd Item to wish list

Head-Order Techniques and Other Pragmatics of Lambda Calculus Graph Reduction

By Nikos B Troullinos
Paperback
$35.95
By Nikos B Troullinos
Coin

Now through 9/7, Premium & Rewards Members Earn Double Stamps! 10 stamps = $5 reward.

Promotion message icon

Premium Members save an extra 10% and all Members collect stamps to save with Rewards. 10 stamps = $5.

Formats
In stock
This item is currently out of stock online.
Free standard shipping on orders over $60
Select a store to view item availability.
Available in Paperback Available in eBook editions (PDF format) Institution: Syracuse University (Syracuse, NY, USA) Advisor(s): Prof. Klaus J. Berkling Degree: Ph.D. in Computer and Information Science Year: 1993 Book Information: 248 pages Publisher: Dissertation.com ISBN-10: 1612337570 ISBN-13: 9781612337579 View First 25 pages: (free download) Abstract The operational aspects of Lambda Calculus are studied as a fundamental basis for high-order functional computation. We consider systems...