This is a logic system that is Turing Complete. Concepts Church Turing Hypothesis Lambda Function Y Combinator Types SKI Combinator Calculus Implementations Haskell