What do you think?
Rate this book
Introduction to Lambda Calculus
53 pages, ebook
First published March 1, 2000
3 people are currently reading
22 people want to read
Ratings & Reviews
Friends & Following
Create a free account to discover what your friends think of this book!
Community Reviews
Displaying 1 of 1 review
July 28, 2019
A great bootstrap into the world of Lambda Calculus (LC). Every concept is clearly explained, proofs are detailed in every step, and notation properly introduced before use.
The material goes from a formal introduction of LC, reduction (alpha, beta), Church-Rosser, LC and primitive recursion to typed LC. A couple of pages are spent on extensions and reduction systems.
Exercises are present without solution, some are simple application others require some creativity.
The material goes from a formal introduction of LC, reduction (alpha, beta), Church-Rosser, LC and primitive recursion to typed LC. A couple of pages are spent on extensions and reduction systems.
Exercises are present without solution, some are simple application others require some creativity.
Displaying 1 of 1 review