Lambda calculus is a formal mathematical system based on lambda abstraction and function application. Two definitions of the language are given here:...

Lambda calculus (also written as λ-calculus) is a formal system in mathematical logic for expressing computation based on function abstraction and application...

representing data and operators in the lambda calculus. The Church numerals are a representation of the natural numbers using lambda notation. The method is named...

computation. Combinatory logic can be viewed as a variant of the lambda calculus, in which lambda expressions (representing functional abstraction) are replaced...

the lambda calculus and in functional programming languages and provide a means to allow for recursive definitions. In the classical untyped lambda calculus...

logic and computer science, lambda is used to introduce anonymous functions expressed with the concepts of lambda calculus. Lambda indicates an eigenvalue...

propositional calculus, Ricci calculus, calculus of variations, lambda calculus, sequent calculus, and process calculus. Furthermore, the term "calculus" has variously...

polymorphic lambda calculus or second-order lambda calculus) is a typed lambda calculus that introduces, to simply typed lambda calculus, a mechanism...

The names "lambda abstraction", "lambda function", and "lambda expression" refer to the notation of function abstraction in lambda calculus, where the...

systems of typed lambda calculus including the simply typed lambda calculus, Jean-Yves Girard's System F, and Thierry Coquand's calculus of constructions...

From these definitions it can be shown that SKI calculus is not the minimum system that can fully perform the computations of lambda calculus, as all occurrences...

augment the definition of a lambda expression to gain one in the context of lambda-mu calculus. The three main expressions found in lambda calculus are as...

In mathematics, matrix calculus is a specialized notation for doing multivariable calculus, especially over spaces of matrices. It collects the various...

extensional. In 1934, Haskell Curry noticed that the types used in typed lambda calculus, and in its combinatory logic counterpart, followed the same pattern...

with the same label, for a slightly different labelled lambda calculus. An alternate definition changes the beta rule to an operation that finds the next...

and algebraic laws, that is, to the algebraic study of data types. Lambda calculus-based languages (such as Lisp, ISWIM, and Scheme) are in actual practice...

applications of fractional calculus expanded greatly over the 19th and 20th centuries, and numerous contributors have given different definitions for fractional derivatives...

(also written lambda cube) is a framework introduced by Henk Barendregt to investigate the different dimensions in which the calculus of constructions...

time-scale calculus is a unification of the theory of difference equations with that of differential equations, unifying integral and differential calculus with...

Church, the λ-calculus is strong enough to describe all mechanically computable functions (see Church–Turing thesis). Lambda-calculus is thus effectively...

used to be called the absolute differential calculus (the foundation of tensor calculus), tensor calculus or tensor analysis developed by Gregorio Ricci-Curbastro...

2023). "Functional Bits: Lambda Calculus based Algorithmic Information Theory" (PDF). tromp.github.io. John's Lambda Calculus and Combinatory Logic Playground...

{\displaystyle \lambda } equates to making a right-turn at the end point, moving from B C {\displaystyle BC} to C D {\displaystyle CD} . The icosian calculus is one...

as the fundamental theorem of Lebesgue integral calculus, due to Lebesgue. For an equivalent definition in terms of measures see the section Relation between...

expression. The definition used is extended to cover the substitution of expressions, from the definition given on the Lambda calculus page. The matching...

basis for lambda calculus, a formal system used in mathematical logic and the theory of programming languages. The equivalence of two lambda expressions...

0 {\displaystyle \lambda \to 0} has functions commuting with 1-forms, which is the special case of high school differential calculus. For A = C [ t , t...

constructs varies by author and desired use for the calculus, but the following constructs are typical: Lambdas λx.M are computations of type A → B _ {\displaystyle...

including Isaac Newton. The formal calculus of finite differences can be viewed as an alternative to the calculus of infinitesimals. Three basic types...

Lambda baryon, a subatomic particle Lambda calculus, a formal system for function definition Lambda Lambda Lambda, a fictional college fraternity in the...