Example image of eyePlorer eyePlorer map for 'Lambda calculus': Computer science Formal system Function (mathematics) Mathematical logic Recursion Alonzo Church Foundations of mathematics Kleene–Rosser paradox Simply typed lambda calculus Function Mathematics Identity function Currying Haskell (programming language) Standard ML Applicative computing systems Beta normal form Binary lambda calculus Blocks (C language extension) Church encoding Church–Rosser theorem Church–Turing thesis Corrado Böhm De Bruijn index De Bruijn notation Director string Explicit substitution Grammar framework Henk Barendregt Higher order programming J. Barkley Rosser Lambda-mu calculus Mogensen-Scott encoding Normalisation by evaluation Peter Landin's J operator Rho calculus SKI combinator calculus Typed lambda calculus Apply ARS based programming Cartesian closed category Cat (programming language) Completeness of atomic initial sequents Computable number Functional form Ground expression Harry Mairson International Conference on Rewriting Techniques and Applications Iota and Jot Joy (programming language)