To register your interest please contact [email protected] providing details of the course you are teaching. Combinatory logic and lambda-calculus, originally devised in the 1920’s, have ...

Combinatory logic and lambda-calculus, originally devised in the 1920s, have since developed into linguistic tools, especially useful in programming languages. The authors' previous book served as the ...