Lambda calculus
Lambda calculus (also written as λ-calculus) is a formal system in mathematical logic for expressing computation based on function abstraction and application using variable binding and substitution. It is a universal model of computation that can be used to simulate any Turing machine. It was introduced by the mathematician Alonzo Church in the 1930s as part of his research into the foundations of mathematics. The reduction operations include:
known for
A conversionAbstraction operatorAlpha-conversionAlpha-renamingAlphaRenamingAlpha conversionAlpha equivalenceAlpha reductionAlpha renamingAnonymous function abstractionB-reductionBeta-reductionBeta conversionBeta reductionBeta substitutionCapture-avoiding substitutionEta-conversionEta-reductionEta conversionEta expansionEta reductionFunctional abstractionL-calculusL calculusLambda-calculusLambda-definable functionLambda-definable functionsLambda-recursive functionLambda CalculusLambda abstractionLambda calculasLambda calculiLambda expressionsLambda kalkülLambda languageLambda programmingLambda termLamda calculusLamda expressionLanbda-calculus
Wikipage redirect
A++A-normal formALGOLAPL (programming language)ARS-based programmingA conversionAbstract rewriting systemAbstraction (computer science)Abstraction (disambiguation)Abstraction operatorActor modelActor model later historyAlan_TuringAlgorithmAlgorithm characterizationsAlonzo ChurchAlpha-conversionAlpha-renamingAlphaRenamingAlpha conversionAlpha equivalenceAlpha reductionAlpha renamingAmalgamation propertyAmbient calculusAngularJSAnonymous functionAnonymous function abstractionAnonymous recursionAnti-unification (computer science)Applicative computing systemsApplicative programming languageApplicative universal grammarApplyArityAudrey Bates (programmer)B, C, K, W systemB-reductionBeta-reductionBeta (disambiguation)
Link from a Wikipage to another Wikipage
known for
primaryTopic
Lambda calculus
Lambda calculus (also written as λ-calculus) is a formal system in mathematical logic for expressing computation based on function abstraction and application using variable binding and substitution. It is a universal model of computation that can be used to simulate any Turing machine. It was introduced by the mathematician Alonzo Church in the 1930s as part of his research into the foundations of mathematics. The reduction operations include:
has abstract
De lambdacalculus, soms ook al ...... ianten met een typeaanduiding.
@nl
Der Lambda-Kalkül ist eine for ...... höherer Stufe und Linguistik.
@de
El càlcul lambda (o càlcul-λ) ...... l programari que al maquinari.
@ca
En lógica matemática, el cálcu ...... lambda tipados fueron creados.
@es
Il lambda calcolo o λ-calcolo ...... essere ridotti e semplificati.
@it
Lambda calculus (also written ...... tself in various combinations.
@en
Lambda kalkul je formální syst ...... istuje totiž rozšíření zvané .
@cs
Lambdakalkyl (λ-kalkyl) är ett ...... programspråk, exempelvis Lisp.
@sv
Le lambda-calcul (ou λ-calcul) ...... s de substitutions explicites.
@fr
Na lógica matemática e na ciên ...... ada será discutida largamente.
@pt
Link from a Wikipage to an external page
Wikipage page ID
page length (characters) of wiki page
Wikipage revision ID
1.023.494.751
Link from a Wikipage to another Wikipage
id
p/l057000
@en
title
Lambda-calculus
@en
wikiPageUsesTemplate
subject
hypernym
type
comment
De lambdacalculus, soms ook al ...... functionele programmeertalen.
@nl
Der Lambda-Kalkül ist eine for ...... höherer Stufe und Linguistik.
@de
El càlcul lambda (o càlcul-λ) ...... ució" al Entscheidungsproblem.
@ca
En lógica matemática, el cálcu ...... é es una "función computable".
@es
Il lambda calcolo o λ-calcolo ...... essere ridotti e semplificati.
@it
Lambda calculus (also written ...... reduction operations include:
@en
Lambda kalkul je formální syst ...... istuje totiž rozšíření zvané .
@cs
Lambdakalkyl (λ-kalkyl) är ett ...... programspråk, exempelvis Lisp.
@sv
Le lambda-calcul (ou λ-calcul) ...... s de substitutions explicites.
@fr
Na lógica matemática e na ciên ...... omo valores de outras funções.
@pt
label
Càlcul lambda
@ca
Cálculo lambda
@es
Cálculo lambda
@pt
Lambda calcolo
@it
Lambda calculus
@en
Lambda kalkul
@cs
Lambda-Kalkül
@de
Lambda-calcul
@fr
Lambda-kalkulo
@eo
Lambdacalculus
@nl