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

In mathematical logic, the lambda calculus (also written as λ-calculus) is a formal system for expressing computation based on function abstraction and...

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...

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

untyped lambda calculus. See also intensional versus extensional equality. The reverse operation to lambda lifting is lambda dropping. Lambda dropping...

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

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...

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

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

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

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

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...

the concepts of lambda calculus. λ indicates an eigenvalue in the mathematics of linear algebra. In the physics of particles, lambda indicates the thermal...

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

recursion. Dana Scott's LCF language was a stage in the evolution of lambda calculus into modern functional languages. This language introduced the let...

The calculus of variations (or variational calculus) is a field of mathematical analysis that uses variations, which are small changes in functions and...

functions have exactly one argument. This property is inherited from lambda calculus, where multi-argument functions are usually represented in curried...

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

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

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...

of programming, in that their internal language is the simply typed lambda calculus. They are generalized by closed monoidal categories, whose internal...

shares several similarities with lambda calculus, particularly in how it handles functions and data. In lambda calculus, functions are first-class citizens...

standard lambda calculus where substitutions are performed by beta reductions in an implicit manner which is not expressed within the calculus; the "freshness"...

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

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

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...

language and in various logics, including certain forms of set theory, lambda calculus, and combinatory logic. The paradox is named after the logician Haskell...

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

Functor (disambiguation). In the untyped lambda calculus, all functions are higher-order; in a typed lambda calculus, from which most functional programming...