Lambda-Calculus and Combinators: An Introduction

By J. Roger Hindley and Jonathan P. Seldin

Book Overview

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... This description may be from another edition of this product.

• Format: Electronics
• Language: English
• ISBN: 0511809832
• ISBN13: 9780511809835
• Release Date: January 1
• Publisher: Cambridge University Press