Introduction to Combinators and (Lambda) Calculus
No Customer Reviews
Select Format
Select Condition 
Book Overview
Combinatory logic and lambda-conversion were originally devised in the 1920s for investigating the foundations of mathematics using the basic concept of 'operation' instead of 'set'. They have now developed into linguistic tools, useful in several branches of logic and computer science, especially in the study of programming languages. These notes form a simple introduction to the two topics, suitable for a reader who has no previous knowledge of...
Format:Paperback
Language:English
ISBN:0521318394
ISBN13:9780521318396
Release Date:May 1986
Publisher:Cambridge University Press
Length:368 Pages
Weight:0.50 lbs.
Dimensions:0.8" x 6.0" x 9.0"
Related Subjects
Combinatorics Education & Reference Math Mathematics Pure Mathematics Reference Science & MathCustomer Reviews
0 rating
Copyright © 2024 Thriftbooks.com Terms of Use | Privacy Policy | Do Not Sell/Share My Personal Information | Cookie Policy | Cookie Preferences | Accessibility Statement
ThriftBooks® and the ThriftBooks® logo are registered trademarks of Thrift Books Global, LLC
ThriftBooks® and the ThriftBooks® logo are registered trademarks of Thrift Books Global, LLC
