---
product_id: 20011824
title: "Lambda-Calculus and Combinators: An Introduction"
price: "₨7757"
currency: MUR
in_stock: true
url: https://mauritius.desertcart.com/products/20011824-lambda-calculus-and-combinators-an-introduction
store_origin: MU
region: Mauritius
---

# Lambda-Calculus and Combinators: An Introduction

**Price:** ₨7757
**Availability:** ✅ In Stock

## Quick Answers

- **What is this?** Lambda-Calculus and Combinators: An Introduction
- **How much does it cost?** ₨7757 with free shipping
- **Is it available?** Yes, in stock and ready to ship
- **Where can I buy it?** [mauritius.desertcart.com](https://mauritius.desertcart.com/products/20011824-lambda-calculus-and-combinators-an-introduction)

## Best For

- Customers looking for quality international products

## Why This Product

- Free international shipping included
- Worldwide delivery with tracking
- 15-day hassle-free returns

## Description

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.

## Technical Specifications

| Specification | Value |
|---------------|-------|
| Best Sellers Rank | #580,164 in Books ( See Top 100 in Books ) #259 in Mathematical Logic #969 in Computer Programming Languages #1,424 in Programming Languages (Books) |
| Customer Reviews | 4.4 out of 5 stars 18 Reviews |

## Images

![Lambda-Calculus and Combinators: An Introduction - Image 1](https://m.media-amazon.com/images/I/61rkzmzIJ9L.jpg)

## Frequently Bought Together

- Lambda-Calculus and Combinators: An Introduction
- An Introduction to Functional Programming Through Lambda Calculus (Dover Books on Mathematics)
- To Mock a Mockingbird

---

## Why Shop on Desertcart?

- 🛒 **Trusted by 1.3+ Million Shoppers** — Serving international shoppers since 2016
- 🌍 **Shop Globally** — Access 737+ million products across 21 categories
- 💰 **No Hidden Fees** — All customs, duties, and taxes included in the price
- 🔄 **15-Day Free Returns** — Hassle-free returns (30 days for PRO members)
- 🔒 **Secure Payments** — Trusted payment options with buyer protection
- ⭐ **TrustPilot Rated 4.5/5** — Based on 8,000+ happy customer reviews

**Shop now:** [https://mauritius.desertcart.com/products/20011824-lambda-calculus-and-combinators-an-introduction](https://mauritius.desertcart.com/products/20011824-lambda-calculus-and-combinators-an-introduction)

---

*Product available on Desertcart Mauritius*
*Store origin: MU*
*Last updated: 2026-10-13*