A++ and the Lambda Calculus

Principles of Functional Programming

Nonfiction, Science & Nature, Science
Cover of the book A++ and the Lambda Calculus by Georg P. Loczewski, tredition
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: Georg P. Loczewski ISBN: 9783746938103
Publisher: tredition Publication: May 9, 2018
Imprint: tredition Language: English
Author: Georg P. Loczewski
ISBN: 9783746938103
Publisher: tredition
Publication: May 9, 2018
Imprint: tredition
Language: English

The book contains an introduction to the Lambda Calculus as the theoretical foundation of all 'Functional Programming' languages.

The Lambda Calculus has been created by the American logician Alonzo Church in the 1930's and is documented in his works published in 1941 under the title 'The Calculi of Lambda Conversion'.

Alonzo Church wanted to formulate a mathematical logical system and had no intent to create a programming language. The intrinsic relationship of his system to programming was discovered much later in a time in which programming of computers became an issue.

The book 'A++ and the Lambda Calculus' also contains a brief introduction to the educational programming language A++, a minimal programming language that has been 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 supposed to be an excellent tool to become familiar with the core of programming and with programming patterns that can be applied in other languages needed to face the real world.

A++ is presented in greater detail in the books: 'A++ The Smallest Programming Language in the World' (978-3-7469-3021-3) and in 'Programmieren lernen mit A++' (978-3-7469-3199-9).

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

The book contains an introduction to the Lambda Calculus as the theoretical foundation of all 'Functional Programming' languages.

The Lambda Calculus has been created by the American logician Alonzo Church in the 1930's and is documented in his works published in 1941 under the title 'The Calculi of Lambda Conversion'.

Alonzo Church wanted to formulate a mathematical logical system and had no intent to create a programming language. The intrinsic relationship of his system to programming was discovered much later in a time in which programming of computers became an issue.

The book 'A++ and the Lambda Calculus' also contains a brief introduction to the educational programming language A++, a minimal programming language that has been 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 supposed to be an excellent tool to become familiar with the core of programming and with programming patterns that can be applied in other languages needed to face the real world.

A++ is presented in greater detail in the books: 'A++ The Smallest Programming Language in the World' (978-3-7469-3021-3) and in 'Programmieren lernen mit A++' (978-3-7469-3199-9).

More books from tredition

Cover of the book Auszeit Afrika by Georg P. Loczewski
Cover of the book Necronomicon The Gate of The Gods by Georg P. Loczewski
Cover of the book Werkstatt für Verhandlungskunst by Georg P. Loczewski
Cover of the book Where the Rainbow ends by Georg P. Loczewski
Cover of the book Die Weisheit der Dichter by Georg P. Loczewski
Cover of the book Get Rosacea Under Control Immediately by Georg P. Loczewski
Cover of the book Geo Poesie by Georg P. Loczewski
Cover of the book Die Aushöhlung der Demokratie by Georg P. Loczewski
Cover of the book Das Wunder des Tschambutschi by Georg P. Loczewski
Cover of the book Stadt, Land, Fluss - Mitteleuropa by Georg P. Loczewski
Cover of the book Die Papstkatze by Georg P. Loczewski
Cover of the book POLLUX - Mein Freund aus dem All by Georg P. Loczewski
Cover of the book 2. Bubenreuther Literaturwettbewerb 2016 by Georg P. Loczewski
Cover of the book Ancient war machines by Georg P. Loczewski
Cover of the book Mio by Georg P. Loczewski
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy