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 ...

To register your interest please contact collegesales@cambridge.org providing details of the course you are teaching. Combinatory logic and lambda-calculus, originally devised in the 1920’s, have ...