Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:01060070n
Noun Concept
Categories: Teoria della calcolabilità
IT
calcolo lambda  lambda calcolo  Calcolo lambdae  Lambda-calcolo  espressioni lambda
IT
Il lambda calcolo o λ-calcolo è un sistema formale definito nel 1936 dal matematico Alonzo Church, sviluppato per analizzare formalmente le funzioni e il loro calcolo. Wikipedia
Definitions
Relations
Sources
IT
Il lambda calcolo o λ-calcolo è un sistema formale definito nel 1936 dal matematico Alonzo Church, sviluppato per analizzare formalmente le funzioni e il loro calcolo. Wikipedia
IS A
modello matematico
sistema formale
PART OF
teoria della computazione
HAS KIND
lambda calcolo binario
EN
typed lambda calculus
HAS INSTANCE
semplicemente digitato lambda calcolo
sistema F
DISCOVERER OR INVENTOR
Alonzo Church
HAS QUALITY
Turing equivalenza
NAMED AFTER
lambda
USE
modelli di calcolo
Wikipedia
IT
lambda calcolo
Wikidata
IT
lambda calcolo
Wiktionary
IT
calcolo lambda
Wikipedia Redirections
IT
Calcolo lambda, Calcolo lambdae, Lambda-calcolo
Wikidata Alias
IT
calcolo lambda, Calcolo lambda, Calcolo lambdae, calcolo lambdae
Wikipedia Translations
IT
espressioni lambda, lambda-calcolo, lambda calcolo, riduzione beta, λ-calcolo

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