30-Day No-Hassle Returns
We guarantee your satisfaction on every purchase or rental with a full refund within 30 days of your purchase date.
Fast, Same-Day Customer Service
If you need help, our friendly, helpful Customer Service team will contact you the same business day.
The Best Prices on Textbook Rentals, Guaranteed
You can shop with confidence with the best rental prices at ValoreBooks.com. If you find a lower priced rental, we will match it.
See the full guarantee details

Introduction to Combinators and Lambda-Calculus

by

Hindley, J. R., Seldin, J. P.

OUT OF STOCK - We are increasing our inventory daily! - Please try again later.
Introduction to Combinators and Lambda-Calculus, ISBN 9780521268967 Own This Book? Sell It
ISBN-13:

9780521268967

ISBN:

0521268966

Pub Date: 1986
Publisher: Cambridge University Press Summary: 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 wh [read more]
THE EXTRA MILE GUARANTEE
  • 30-Day No-Hassle Returns
  • Fast, Same-Day Customer Service
  • The Best Prices on Textbook Rentals
Read More
NEED HELP PAYING FOR COLLEGE?
  • Find student loan options quickly and easily
  • Compare loans to find the best fit for you
  • Apply for the loan that meets your needs
Find Loan
Product Details
ISBN-13:

9780521268967


ISBN:

0521268966


Pub Date: 1986
Publisher: Cambridge University Press

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 combinatory logic, but has taken an undergraduate course in predicate calculus and recursive functions. The key ideas and basic results are presented, as well as a number of more specialised topics, and man), exercises are included to provide manipulative practice.

Where's My Stuff?
Shipping & Returns
Need Help?