Lambda Calculus with Types (Perspectives in Logic) - Image 1

£73.78

Cambridge University Press Lambda Calculus with Types (Perspectives in Logic)

Name: Lambda Calculus with Types (Perspectives in Logic)
Brand: Cambridge University Press
Price: 73.78 GBP
Availability: InStock

Higher Education

It has never been this cheap. We have no record of a lower price.

£74 today · cheaper than every other day in the last 3 months

NEW HERE?

Amazon shows you one price. We show you all of them.

Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.

WHAT'S ON THIS PAGE

↓ Price chart
when this has been cheap or pricey

↓ Forecast
where the price is heading next

↓ Statistics
all-time high & low, recent range

↑ Price alert
name your number, we'll email you

Price History & Forecast

Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.

Last 61 days · 61 data points (no recent data)

Historical

Generating forecast…

Price Distribution

Price distribution over 61 days • 1 price levels

Days at Price

Price Analysis

Most common price: £74 (61 days, 100.0%)

Price range: £74 - £74

Price levels: 1 different prices over 61 days

Description

This handbook with exercises reveals in formalisms, hitherto mainly used for hardware and software design and verification, unexpected mathematical beauty. The lambda calculus forms a prototype universal programming language, which in its untyped version is related to Lisp, and was treated in the first author's classic The Lambda Calculus (1984). The formalism has since been extended with types and used in functional programming (Haskell, Clean) and proof assistants (Coq, Isabelle, HOL), used in designing and verifying IT products and mathematical proofs. In this book, the authors focus on three classes of typing for lambda terms: simple types, recursive types and intersection types. It is in these three formalisms of terms and types that the unexpected mathematical beauty is revealed. The treatment is authoritative and comprehensive, complemented by an exhaustive bibliography, and numerous exercises are provided to deepen the readers' understanding and increase their confidence using types.

Product Specifications

Brand: Cambridge University Press
Format: hardcover
ASIN: 0521766141
Category: Books > Subjects > Science, Nature & Maths > Mathematics > Education > Higher Education
Domain: Amazon UK
Release Date: 20 June 2013
Listed Since: 11 November 2010

Barcode

No barcode data available

Cambridge University Press Lambda Calculus with Types (Perspectives in Logic)

It has never been this cheap. We have no record of a lower price.

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Programming with Higher-Order Logic

Domains and Lambda-Calculi: 46 (Cambridge Tracts in Theoretical Computer Science, Series Number 46)

Categories for Types (Studies in Emotion and Social Interaction)

LMS: 45 Recursion Theory, Applns: Its Generalisations & Applications, Proceedings of Logic Colloquim '79, Leeds, Aug. 1979 (London Mathematical Society Lecture Note Series, Series Number 45)

Anaphora and Type Logical Grammar: 24 (Trends in Logic, 24)

A Theory of Objects (Monographs in Computer Science)

Structural Proof Theory

Computational Semantics with Functional Programming

Cambridge Logical Foundations of Proof Complexity Book

Advanced Topics in Bisimulation and Coinduction: 52 (Cambridge Tracts in Theoretical Computer Science, Series Number 52)

Algorithms for Functional Programming

Formal Methods in Artificial Intelligence: 6 (Cambridge Tracts in Theoretical Computer Science, Series Number 6)

Cambridge Mathematics of Logic - Completeness Theorems Guide

Lectures in Logic and Set Theory: Volume 2, Set Theory: 83 (Cambridge Studies in Advanced Mathematics, Series Number 83)

Formulaic Language and the Lexicon

Modern Perspectives in Type-Theoretical Semantics: 98 (Studies in Linguistics and Philosophy, 98)

Typology and Universals (Cambridge Textbooks in Linguistics)

Specifying Software: A Hands-On Introduction

Formal Semantics:Cann: An Introduction (Cambridge Textbooks in Linguistics)

Anaphora and Type Logical Grammar: 24 (Trends in Logic, 24)

Handbook of Categorical Algebra: Volume 1, Basic Category Theory: 50 (Encyclopedia of Mathematics and its Applications, Series Number 50)

Bounded Arithmetic, Propositional Logic and Complexity Theory: 60 (Encyclopedia of Mathematics and its Applications, Series Number 60)

Logics for Computer Science: Classical and Non-Classical

Advanced Mathematical Methods (London School of Economics Mathematics)