Tipo de registro dentro de su búsqueda.
Tipo de registro dentro de su búsqueda.
Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Church, Alonzo, 1903-1995
1
Church–Turing thesis
1
Cálculo Lambda
1
Cálculo efectivo
1
Cálculo efetivo
1
Effective calculability
1
Entscheidungsproblem
1
Formal methods
1
Functional programming
1
Hilbert, David, 1862-1943
1
Lambda calculation
1
Lenguajes de programación
1
Linguagens de programação
1
Métodos formais
1
Métodos formales
1
Programación funcional
1
Programação funcional
1
Programming languages
1
Tese de Church-Turing
1
Tesis de Church-Turing
1
Turing, Alan, 1912-1954
1
-
1Materias: “...Lambda calculation...”
Aportado por: RIDAA - Repositorio Institucional Digital (UNQ)Proyecto de investigación info:eu-repo/semantics/other publishedVersion -
2por D’Andrea, AldanaMaterias: “...Effective calculability...”
Publicado 2017
Aportado por: RIDAA - Repositorio Institucional Digital (UNQ)Artículo publishedVersion