This introduction to lambda-calculus looks at aspects of the theory: combinatory logic, models, and type streams, showing how they interlink and underpin computer science.
Read More
This introduction to lambda-calculus looks at aspects of the theory: combinatory logic, models, and type streams, showing how they interlink and underpin computer science.
Read Less
Add this copy of Lambda-Calculus, Types and Models (Ellis Horwood Series to cart. $126.95, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Santa Clarita, CA, UNITED STATES, published 1993 by Ellis Horwood Ltd.
