Lambda-calculus, Combinators and Functional Programming Image close
Lambda-calculus, Combinators and Functional Programming by G. E. Revesz
Lambda-calculus, Combinators and Functional Programming by G. E. Revesz
Show Hide Adult Content
Lambda-calculus, Combinators and Functional Programming close

Computers & Internet Books:

Home  
Books  
Computers & Internet  
Theory & Design  
Mathematical theory of computation

Lambda-calculus, Combinators and Functional Programming

Click to share your rating 0 ratings (0.0/5.0 average) Thanks for your vote!

By:

Format:

Paperback / softback
$143.99
Available from supplier

The item is brand new and in-stock with one of our preferred suppliers. The item will ship from a Mighty Ape warehouse within the timeframe shown.

Usually ships in 3-4 weeks
0 in Trolley

Buy Now, Pay Later with:

4 payments of $36.00 with Afterpay Learn more

Availability

Delivering to:

Estimated arrival:

  • Around 11-21 June using International Courier

Explore more Cambridge Tracts in Theoretical Computer Science

See all products in this series

Modal Logic by Patrick Blackburn
$259.99
Modal Logic
by Patrick Blackburn ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Action Semantics by Peter D. Mosses
$156.99
Action Semantics
by Peter D. Mosses ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Predicate Transformer Semantics by Ernest G. Manes
$150.99
Predicate Transformer Semantics
by Ernest G. Manes ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Formal Specification and Design by L.M.G. Feijs
$142.99
Formal Specification and Design
by L.M.G. Feijs ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Two-Level Functional Languages on Hardback by Flemming Nielson
$339.99
Two-Level Functional Languages
by Flemming Nielson ~ Hardback
Available - Usually ships in 3-4 weeks
Algebraic Specification of Communication Protocols
$127.99
Algebraic Specification of Communication Protocols
Paperback / softback
Available - Usually ships in 3-4 weeks
A Unifying Framework for Structured Analysis and Design Models by T.H. Tse
$101.99
A Unifying Framework for Structured Analysis and Design Models
by T.H. Tse ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Programs, Recursion and Unbounded Choice by Wim H. Hesselink
$126.99
Programs, Recursion and Unbounded Choice
by Wim H. Hesselink ~ Paperback / softback
Available - Usually ships in 3-4 weeks
The Logic of Typed Feature Structures by Robert L. Carpenter
$127.99
The Logic of Typed Feature Structures
by Robert L. Carpenter ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Domains and Lambda-Calculi on Hardback by Roberto M. Amadio
$376.99
Domains and Lambda-Calculi
by Roberto M. Amadio ~ Hardback
Available - Usually ships in 3-4 weeks
Term Rewriting Systems on Hardback by Terese
$504.99
Term Rewriting Systems
by Terese ~ Hardback
Available - Usually ships in 3-4 weeks
The Clausal Theory of Types on Hardback by D.A. Wolfram
$182.99
The Clausal Theory of Types
by D.A. Wolfram ~ Hardback
Available - Usually ships in 3-4 weeks
Derivation and Computation on Hardback by H. Simmons
$352.99
Derivation and Computation
by H. Simmons ~ Hardback
Available - Usually ships in 3-4 weeks
The Uncertain Reasoner's Companion by J.B. Paris
$132.99
The Uncertain Reasoner's Companion
by J.B. Paris ~ Paperback / softback
Available - Usually ships in 3-4 weeks
Applications of Process Algebra
$248.99
Applications of Process Algebra
Paperback / softback
Available - Usually ships in 3-4 weeks
Two-Level Functional Languages by Flemming Nielson
$141.99
Two-Level Functional Languages
by Flemming Nielson ~ Paperback / softback
Available - Usually ships in 3-4 weeks

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.
Release date Australia
June 25th, 2009
Author
Audience
  • Tertiary Education (US: College)
Illustrations
Worked examples or Exercises
Pages
192
Dimensions
170x244x10
ISBN-13
9780521114295
Product ID
3097436

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here

Recommended for you

Recommended from your browsing history

Help & options

Filed under...

Books >
Computers & Internet >
Theory & Design >
Mathematical theory of computation
Books >
Computers & Internet >
Computer science >
Mathematical theory of computation