Produkt mají v nabídce:
Lambda-calculus, Combinators and Functional Programming - Revesz, G. E.
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.
