lambda calculus (λ-calculus): Formal system in mathematical logic for expressing computation based on function abstraction </>