Boeken zoals: Lambda Calculus. Its Syntax & Semantics
Tips voor lezers van Henk Barendregt
Heb je Lambda Calculus. Its Syntax & Semantics gelezen? Of ben je fan van de boeken van Henk Barendregt? Dan vind je hieronder een aantal leestips die ook werden gezocht door lezers van 'Lambda Calculus. Its Syntax & Semantics'.
An Introduction to Functional Programming Through Lambda Calculus
ISBN 9780486478838
Functional programming is rooted in lambda calculus, which constitutes the world's smallest programming ...
€ 24.50
Categories for Types
ISBN 9780521457019
This textbook explains the basic principles of categorical type theory and the techniques used to derive ...
€ 75.90
Cambridge Tracts in Theoretical Computer ScienceSeries Number 45-The Optimal Implementation of Functional Programming Languages
ISBN 9780521621120
First account of the subject by two of its exponents. All traditional implementation techniques for ...
€ 96.99
Lambda-Calculus, Combinators And Functional Programming
ISBN 9780521114295
Originally published in 1988, this book presents an introduction to lambda-calculus and combinators without ...
€ 63.99
Calculus of Several Variables
ISBN 9780387964058
The present course on calculus of several variables is meant as a text, either for one semester following A ...
€ 61.99
Lambda-Calculus and Combinators
ISBN 9780521898850
Combinatory logic and lambda-calculus, originally devised in the 1920s, have since developed into linguistic ...
€ 77.99
Lambda Calculus. Its Syntax & Semantics
