Fixed point Combinator: combinator, Higher order function, (mathematics), lambda calculus, Haskell Curry, Simply typed ... Recursion, Name binding, Identifier

Combinatory Logic: Lambda calculus, Moses Schönfinkel, Haskell Curry, Variable (mathematics), Mathematical logic,...

Anonymous function: Function (mathematics), Subroutine, Name binding, Identifier, Alonzo Church, Lambda calculus,...

SKI Combinator Calculus: Model of Computation, Binary Trees, Lambda Calculus, Boolean Logic, Sentential Logic

System F: Typed Lambda Calculus, Simply Programming Language