What is lambda calculus? - Definition from WhatIs.com
Part of the Programming glossary:

Lambda calculus, considered to be the mathematical basis for programming language, is a calculus developed by Alonzo Church and Stephen Kleene in the 1930s to express all computable�functions.� In an effort to formalize the concept of computability (also known as constructibility and effective calculability), Church and Kleene developed a powerful language with a simple� syntax and few grammar restrictions. The language deals with the application of a function to its arguments (a function is a set of rules) and expresses any entity as either a variable, the application of one function to another, or as a "lambda abstraction" (a function in which the Greek letter�lambda is defined as the abstraction operator). Lambda calculus, and the closely related theories of combinators and type systems, are important foundations in the study of mathematics, logic, and computer programming language.

This was last updated in September 2005
Posted by: Margaret Rouse

Related Terms

Definitions

  • fuzzy logic

    - Fuzzy logic is an attempt to use more human-like reasoning and better reflect reality through employing"degrees of truth" rather than the usual "true or false" (1 or 0) Boolean logic on which the m... (WhatIs.com)

  • blue/green deployment

    - A blue/green deployment relies on identical sets of IT resources that trade off between an active production environment and inactive upgrade and testing environment. (searchITOperations.com)

  • platform

    - A computer platform is an underlying computer system on which application programs can run, or, in general, any base of technologies on which other technologies or processes are built. (SearchServerVirtualization.com)

Glossaries

  • Programming

    - Terms related to software programming, including definitions about programming languages and words and phrases about software design, coding, testing and debugging.

  • Internet applications

    - This WhatIs.com glossary contains terms related to Internet applications, including definitions about Software as a Service (SaaS) delivery models and words and phrases about web sites, e-commerce ...

Ask a Question About lambda calculusPowered by ITKnowledgeExchange.com

Get answers from your peers on your most technical challenges

Tech TalkComment

Share
Comments

    Results

    Contribute to the conversation

    All fields are required. Comments will appear at the bottom of the article.