Motivation Basics of Lambda Calculus Definitions Combinators Type Annotations Terminating and Non Terminating Computations Arithmetic Church Numerals Simple Arithmetics Simple Predicates Recursion Searching with Predicates Unbounded Search Data Types Construction Principle Church Numerals Revisited Lists Trees References Motivation Lambda calculus is a fascinating topic for the following reasons. It is simple. It just consists of variables, functions and function applications. Despite of being s...