On Constructor Rewrite Systems and the Lambda-Calculus Long Version - Computer Science > Programming LanguagesReportar como inadecuado




On Constructor Rewrite Systems and the Lambda-Calculus Long Version - Computer Science > Programming Languages - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

Abstract: We prove that orthogonal constructor term rewrite systems and lambda-calculuswith weak i.e., no reduction is allowed under the scope of alambda-abstraction call-by-value reduction can simulate each other with alinear overhead. In particular, weak call-by-value beta-reduction can besimulated by an orthogonal constructor term rewrite system in the same numberof reduction steps. Conversely, each reduction in a term rewrite system can besimulated by a constant number of beta-reduction steps. This is relevant toimplicit computational complexity, because the number of beta steps to normalform is polynomially related to the actual cost that is, as performed on aTuring machine of normalization, under weak call-by-value reduction.Orthogonal constructor term rewrite systems and lambda-calculus are thus bothpolynomially related to Turing machines, taking as notion of cost their naturalparameters.



Autor: Ugo Dal Lago, Simone Martini

Fuente: https://arxiv.org/



DESCARGAR PDF




Documentos relacionados