Lambda Calculus And Combinators An Introduction(1st Edition)

Authors:

J Roger Hindley ,Jonathan P Seldin

Type:Hardcover/ PaperBack / Loose Leaf
Condition: Used/New

In Stock: 1 Left

Shipment time

Expected shipping within 2 - 3 Days
Access to 35 Million+ Textbooks solutions Free
Ask Unlimited Questions from expert AI-Powered Answers 30 Min Free Tutoring Session
7 days-trial

Total Price:

$0

List Price: $75.94 Savings: $75.94 (100%)
Access to 30 Million+ solutions
Ask 50 Questions from expert AI-Powered Answers 24/7 Tutor Help Detailed solutions for Lambda Calculus And Combinators An Introduction

Price:

$9.99

/month

Book details

ISBN: 0521898854, 978-0521898850

Book publisher: Cambridge University Press

Offer Just for You!: Buy 2 books before the end of January and enter our lucky draw.

Book Price $0 : Combinatory Logic And Lambda-calculus, Originally Devised In The 1920â??s, Have Since Developed Into Linguistic Tools, Especially Useful In Programming Languages. The Authorsâ?? Previous Book Served As The Main Reference For Introductory Courses On Lambda-calculus For Over 20 Years: This Long-awaited New Version Is Thoroughly Revised And Offers A Fully Up-to-date Account Of The Subject, With The Same Authoritative Exposition. The Grammar And Basic Properties Of Both Combinatory Logic And Lambda-calculus Are Discussed, Followed By An Introduction To Type-theory. Typed And Untyped Versions Of The Systems, And Their Differences, Are Covered. Lambda-calculus Models, Which Lie Behind Much Of The Semantics Of Programming Languages, Are Also Explained In Depth. The Treatment Is As Non-technical As Possible, With The Main Ideas Emphasized And Illustrated By Examples. Many Exercises Are Included, From Routine To Advanced, With Solutions To Most At The End Of The Book.