Full Abstraction for the Resource Lambda Calculus with Tests, through Taylor ExpansionReportar como inadecuado



 Full Abstraction for the Resource Lambda Calculus with Tests, through Taylor Expansion


Full Abstraction for the Resource Lambda Calculus with Tests, through Taylor Expansion - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

Descargar gratis o leer online en formato PDF el libro: Full Abstraction for the Resource Lambda Calculus with Tests, through Taylor Expansion
We study the semantics of a resource-sensitive extension of the lambda calculus in a canonical reflexive object of a category of sets and relations, a relational version of Scotts original model of the pure lambda calculus. This calculus is related to Boudols resource calculus and is derived from Ehrhard and Regniers differential extension of Linear Logic and of the lambda calculus. We extend it with new constructions, to be understood as implementing a very simple exception mechanism, and with a -must- parallel composition. These new operations allow to associate a context of this calculus with any point of the model and to prove full abstraction for the finite sub-calculus where ordinary lambda calculus application is not allowed. The result is then extended to the full calculus by means of a Taylor Expansion formula. As an intermediate result we prove that the exception mechanism is not essential in the finite sub-calculus.



Autor: Thomas Ehrhard; Antonio Bucciarelli; Alberto Carraro; Giulio Manzonetto

Fuente: https://archive.org/







Documentos relacionados