por Arnold Beckmann · 2001
Ver sugerenciasSinopsis
Se determinan los límites exactos para la longitud de las secuencias de reducción en el cálculo lambda tipado, una contribución fundamental a la lógica y la teoría de tipos. [semanticscholar.org](https://www.semanticscholar.org/paper/Exact-bounds-for-lengths-of-reductions-in-typed-Beckmann/d1778b5027f9ab51e4cb2820b06104cdfdd22de4)
Sé el primero en valorar este libro.
Otras obras del mismo autor en el catálogo
1996
2009
2013
2015
2018
2020
2022
Libros relacionados según distintos criterios de búsqueda
Arnold Beckmann
1996·ciencia ficcion
Ambos trabajos exploran límites y sistemas en lógica matemática, específicamente en el contexto del cálculo lambda y sus implicaciones en la complejidad computacional.
Arnold Beckmann
2018·ciencia ficcion
El enfoque en reescritura de términos en la complejidad computacional refleja aspectos formales similares al estudio de reducciones en el cálculo lambda tipado.
La investigación de funciones recursivas seguras ofrece un análisis profundo en relación con la lógica matemática, conectándose con los fundamentos del cálculo lambda.
Arnold Beckmann
2009·ciencia ficcion
Se aborda la complejidad computacional y la teoría de la demostración, alineándose con los temas de límites y estructuras formales en el cálculo lambda.
El lambda-cálculo de tipo simple establece las bases teóricas que son cruciales para comprender las reducciones estudiadas en el trabajo de Beckmann.
La exploración de tipos y sistemas en el cálculo lambda en este texto complementa y amplía ideas sobre la reducción en el cálculo lambda tipado.
