Lambda Calculus

First the history and the research companions, then what is it in a nutshell.
Lambda Calculus was introduced in the Netherlands by Henk Barendregt, in the early seventies. Jan Bergstra initiated a research seminar in 74-75, while Henk was writing his famous book The Lambda Calculus – its syntax and semantics. The four participants were Henk, Jan, Jan Willem and sabbatical visitor Henri Volken from ETH Zurich.
Our goal was to learn lambda calculus by doing it actively, so we started with a list of dozens of questions of which several were solved and jointly published.

Lambda Calculus in a nutshell.
text under construction