About: Lambda calculus

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Lambda calculus Goto Sponge NotDistinct Permalink

An Entity of Type : owl:Thing, within Data Space : prod-dbpedia.inria.fr associated with source document(s)

Attributes	Values
rdf:type	Thing
rdfs:label	Càlcul lambda (ca) Cálculo lambda (es) Cálculo lambda (pt) Lambda calculus (en) Lambda-Kalkül (de) Lambda-calcul (fr) Phép tính lambda (vi) Rachunek lambda (pl) Лямбда-исчисление (ru)
rdfs:comment	Le lambda-calcul (ou λ-calcul) est un système formel inventé par Alonzo Church dans les années 1930, qui fonde les concepts de fonction et d'application. On y manipule des expressions appelées λ-expressions, où la lettre grecque λ est utilisée pour lier une variable. Par exemple, si M est une λ-expression, λx.M est aussi une λ-expression et représente la fonction qui à x associe M. Le lambda-calcul est apparenté à la logique combinatoire de Haskell Curry et se généralise dans les calculs de substitutions explicites. (fr)
rdfs:seeAlso	http://mathworld.wolfram.com/LambdaCalculus.html http://plato.stanford.edu/entries/lambda-calculus https://commons.wikimedia.org/wiki/Category:Lambda_calculus https://www.britannica.com/topic/lambda-calculus https://www.jstor.org/topic/lambda-calculus https://www.quora.com/topic/Lambda-Calculus https://inpho.cogs.indiana.edu/idea/idea/5512.html
sameAs	Lambda calculus Lambda calculus Lambda calculus Lambda calculus Lambda calculus Lambda calculus Lambda calculus Lambda calculus Lambda calculus Lambda calculus Lambda calculus Lambda calculus Lambda calculus Lambda calculus Lambda calculus Lambda calculus Lambda calculus Lambda calculus Lambda calculus Lambda calculus Lambda calculus Lambda calculus Lambda calculus Lambda calculus Lambda calculus Lambda calculus Lambda calculus Lambda calculus Lambda calculus Lambda calculus Lambda calculus Lambda calculus Lambda calculus Lambda calculus Lambda calculus Lambda calculus Lambda calculus Lambda calculus Lambda calculus Lambda calculus Lambda calculus Lambda calculus Lambda calculus Lambda calculus Lambda calculus Lambda calculus Lambda calculus Lambda calculus Lambda calculus
Wikipage page ID	66966 (xsd:integer)
Wikipage revision ID	191346614 (xsd:integer)
dbo:wikiPageWikiLink	category-fr:Théorie_de_la_démonstration Alan Turing Alfred North Whitehead Alonzo Church Greek alphabet 1930s Map (mathematics) Proof assistant Bertrand Russell Calculus of constructions category-fr:Calculabilité category-fr:Programmation_fonctionnelle category-fr:Théorie_des_types dbpedia-fr:Catégorie_(linguistique) Curry–Howard correspondence dbpedia-fr:Curryfication Transitive closure dbpedia-fr:Fonction_partielle_récursive General recursive function Successor function Functional (mathematics) Giuseppe Peano Formal grammar Haskell (programming language) Haskell Curry dbpedia-fr:Henk_Barendregt dbpedia-fr:Jean-Louis_Krivine dbpedia-fr:Jean-Yves_Girard Lambda dbpedia-fr:Lisp dbpedia-fr:Logique_combinatoire

Faceted Search & Find service v1.16.111 as of Oct 19 2022

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3234 as of May 18 2022, on Linux (x86_64-ubuntu_bionic-linux-gnu), Single-Server Edition (39 GB total memory, 11 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2025 OpenLink Software