λ-calculus core

At it’s core, the lambda calculus contains only: variable references, single-argument anonymous functions and function calls.

Source: Church-encoded numbers, lists, booleans, conditionals with fixed-point recursion in Scheme

added 2012-03-15T15:43:43Z by anders

Tags: programming computer science computability lambda calculus programming languages