Publication:4983482

68N18: Functional programming and lambda calculus

03B70: Logic in computer science

03B35: Mechanization of proofs and logical operations

68-02: Research exposition (monographs, survey articles) pertaining to computer science

03-03: History of mathematical logic and foundations

01-02: Research exposition (monographs, survey articles) pertaining to history and biography

68-03: History of computer science

03B40: Combinatory logic and lambda calculus

68Qxx: Theory of computing

03Fxx: Proof theory and constructive mathematics

68-XX: Computer science

03Dxx: Computability and recursion theory