In the 1930s, American logician Alonzo Church created the Lambda Calculus, which is introduced in depth in this book. The logician’s works were documented and published in 1941 (under the title “The Calculi of Lambda Conversion”). Alonzo Church’s goal was to formulate a mathematical logical system and had no intention of creating a programming language – after all, modern computers were not yet a thing in the 1930s! However, decades later, when the age of the computer arrived, people discoverd the intrinsic relationship of his system to programming. Readers of this book will receive an introduction to the Lambda Calculus as the theoretical foundation of all ‘Functional Programming’ languages, and learn how a creation of the 1930s helped to solve a number of computer related issues.
The interesting book “A++ and the Lambda Calculus” by Georg P. Loczewski also contains a brief introduction to the educational programming language A++, a minimal programming language that was built with the Lambda Calculus as its foundation. The purpose of A++ is to serve as a learning instrument rather than as a programming language used to solve practical problems. A++ is meant to serve as a learning tool for core programming patterns that can be applied to other languages.
“A++ and the Lambda Calculus” by Georg P. Loczewski is now available from tredition or can alternatively be ordered by using ISBN 978-3-7469-3811-0. tredition assists young and unknown authors with publishing their own books, but also cooperates with publishers and publishing houses. tredition publishes books in print and digital formats, distributes locally and online, and actively markets all titles.
For more information on this title, click here: www.tredition.de