Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:01060070n
Noun Concept
Categories: Sistemas lógicos, Computabilidad, Cálculo lambda
ES
cálculo lambda  calculo lambda  Cálculo λ  Lambda Calculo  lambda calculus
ES
En lógica matemática, el cálculo lambda es un sistema formal diseñado para investigar la definición de función, la noción de aplicación de funciones y la recursión. Wikipedia
Definitions
Relations
Sources
ES
En lógica matemática, el cálculo lambda es un sistema formal diseñado para investigar la definición de función, la noción de aplicación de funciones y la recursión. Wikipedia
IS A
modelo matemático
sistema formal
PART OF
teoría de la computación
HAS KIND
EN
binary lambda calculus
EN
typed lambda calculus
HAS INSTANCE
Cálculo lambda simplemente tipado
EN
System F
DISCOVERER OR INVENTOR
Alonzo Church
HAS QUALITY
Turing completo
NAMED AFTER
λ
USE
modelo de computación
Wikipedia
ES
cálculo lambda
Wikidata
ES
cálculo lambda
Wikipedia Redirections
ES
Calculo-λ, Calculo Lambda, Calculo lambda, Cálculo-λ, Cálculo Lambda, Cálculo λ, expresiones lambda, Lambda-calculo, lambda-cálculo, Lambda calculo, Lambda Calculo, Lambda calculus, Lambda cálculo, Lambda Cálculo
Wikidata Alias
ES
calculo lambda, Calculo lambda, Cálculo λ, cálculo λ, Lambda Calculo, lambda Calculo, lambda calculus, Lambda calculus, Lambda Cálculo, lambda Cálculo
Wikipedia Translations
ES
cálculo lambda, cálculo lambda sin tipo, expresiones lambda, reducción beta, λ-cálculo

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