Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:01060070n
Noun Concept
Categories: Théorie des types, Calculabilité, Théorie de la démonstration, Programmation fonctionnelle
FR
lambda-calcul  λ-calcul  Combinateur Y  lambda-calcul simplement typé  lambda calcul
FR
Le lambda-calcul est un système formel inventé par Alonzo Church dans les années 1930, qui fonde les concepts de fonction et d'application. Wikipedia
Definitions
Relations
Sources
FR
Le lambda-calcul est un système formel inventé par Alonzo Church dans les années 1930, qui fonde les concepts de fonction et d'application. Wikipedia
Système formel Wikipedia Disambiguation
Système formel de la logique mathématique Wikidata
IS A
modèle mathématique
système formel
PART OF
théorie de la calculabilité
HAS KIND
EN
binary lambda calculus
lambda-calcul typé
HAS INSTANCE
EN
simply typed lambda calculus
système F
DISCOVERER OR INVENTOR
Alonzo Church
HAS QUALITY
Turing-complet
NAMED AFTER
lambda
USE
Catégorie:Modèles de calcul
Wikipedia
FR
lambda-calcul
Wikidata
FR
lambda-calcul
Wikipedia Redirections
FR
Combinateur Y, lambda-calcul simplement typé, lambda calcul, λ-calcul
Wikidata Alias
FR
lambda calcul, λ-calcul
Wikipedia Translations
FR
calcul non typé lambda, expressions lambda, lambda-calcul, réduction beta, λ-calcul

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License