Lambda-calculus, Combinators and Functional Programming: 4 (Cambridge Tracts in Theoretical Computer Science, Series Number 4) - Image 1

£49.36

Cambridge University Press Lambda-calculus, Combinators and Functional Programming: 4 (Cambridge Tracts in Theoretical Computer Science, Series Number 4)

Name: Lambda-calculus, Combinators and Functional Programming: 4 (Cambridge Tracts in Theoretical Computer Science, Series Number 4)
Brand: Cambridge University Press
Price: 47.39 GBP
Availability: InStock

Languages

Price History & Forecast

Last 33 days • 33 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 33 days • 2 price levels

Days at Price

Current Price

Price Analysis

Most common price: £47 (25 days, 75.8%)

Price range: £47 - £49

Price levels: 2 different prices over 33 days

Description

Originally published in 1988, this book presents an introduction to lambda-calculus and combinators without getting lost in the details of mathematical aspects of their theory. Lambda-calculus is treated here as a functional language and its relevance to computer science is clearly demonstrated. The main purpose of the book is to provide computer science students and researchers with a firm background in lambda-calculus and combinators and show the applicabillity of these theories to functional programming. The presentation of the material is self-contained. It can be used as a primary text for a course on functional programming. It can also be used as a supplementary text for courses on the structure and implementation of programming languages, theory of computing, or semantics of programming languages.

Product Specifications

Brand: Cambridge University Press
Format: paperback
ASIN: 0521114292
Category: Books > Subjects > Computing & Internet > Programming > Languages
Domain: Amazon UK
Release Date: 06 April 2009
Listed Since: 20 February 2009

Barcode

No barcode data available

Cambridge University Press Lambda-calculus, Combinators and Functional Programming: 4 (Cambridge Tracts in Theoretical Computer Science, Series Number 4)

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Lambda-Calculus and Combinators: An Introduction

Two Level Functional Languages: 34 (Cambridge Tracts in Theoretical Computer Science, Series Number 34)

Cambridge Two-Level Functional Languages - Series 34 Book

Functional Approach to Programming

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

An Introduction to Formal Language Theory (Monographs in Computer Science)

Programming Languages: Build, Prove, and Compare

Term Rewriting & All That

ML for the Working Programmer

Transitions and Trees: An Introduction to Structural Operational Semantics

Computability: An Introduction to Recursive Function Theory

Type Theory and Formal Proof: An Introduction

Categories and Computer Science: 28 (Cambridge Computer Science Texts, Series Number 28)

Mathematics in Programming

Abstract Computing Machines: A Lambda Calculus Perspective (Texts in Theoretical Computer Science. An EATCS Series)

Computational Complexity: A Conceptual Perspective

Algorithmic Number Theory: Lattices, Number Fields, Curves and Cryptography: 44 (Mathematical Sciences Research Institute Publications, Series Number 44)

Initial Algebras and Terminal Coalgebras: The Theory of Fixed Points of Functors: Series Number 62 (Cambridge Tracts in Theoretical Computer Science, Series Number 62)

Lisp in Small Pieces

Functional Programming Using F#

Introduction to Coalgebra: Towards Mathematics of States and Observation: 59 (Cambridge Tracts in Theoretical Computer Science, Series Number 59)

Automata Theory with Modern Applications

Algorithmic Number Theory: Lattices, Number Fields, Curves and Cryptography: 44 (Mathematical Sciences Research Institute Publications, Series Number 44)

Transitions and Trees: An Introduction to Structural Operational Semantics