Combinatory Logic: Lambda calculus, Moses Schönfinkel, Haskell Curry, Variable (mathematics), Mathematical logic, Computer science, Computation, ... function, SKI combinator calculus

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

Fixed point Combinator: combinator, Higher order function, (mathematics), lambda calculus, Haskell Curry,...

Discrete Mathematics: space, Continuous function, Real number, Rational Integer, Graph (mathematics), Mathematical...

Haskell Curry: Mathematician, logic, Combinatory Moses Schönfinkel, Curry Howard correspondence, Curry's paradox, (programming language)