This is a logic system that is Turing Complete. Concepts Lambda Function Types SKI Combinator Calculus