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

Revesz, G. E.

  • 3.00 out of 5 stars
    6 ratings by Goodreads
 
Image Not Available

Synopsis

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...

Book 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.

"About this title" may belong to another edition of this title.

  • PublisherCambridge University Press
  • Publication date1988
  • ISBN 10 0521345898
  • ISBN 13 9780521345897
  • BindingHardcover
  • LanguageEnglish
  • Number of pages192
  • Rating
    • 3.00 out of 5 stars
      6 ratings by Goodreads

Other Popular Editions of the Same Title

Image Not Available

Featured Edition

ISBN 10:  0521114292 ISBN 13:  9780521114295
Publisher: Cambridge University Press, 2009
Softcover