Exact bounds for lengths of reductions in typed λ-calculus
por Arnold Beckmann · 2001
Sinopsis
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.
Más de Arnold Beckmann
Ver autor →Otras obras del mismo autor en el catálogo
A term rewriting characterization of the polytime functions and related complexity classes
1996
Polynomial Local Search in the Polynomial Hierarchy and Witnessing in Fragments of Bounded Arithmetic
2009
Parity Games and Propositional Proofs
2013
Safe Recursive Set Functions
2015
Hyper Natural Deduction for Gödel Logic—A natural deduction system for parallel reasoning
2018
Cyber-Physical Trust Systems Driven by Blockchain
2020
KSPMI: A Knowledge-based System for Predictive Maintenance in Industry 4.0
2022
Libros similares
Libros relacionados según distintos criterios de búsqueda