Relational Graph Models, Taylor Expansion and ExtensionalityReport as inadecuate

Relational Graph Models, Taylor Expansion and Extensionality - Download this document for free, or read online. Document in PDF available to download.

1 LCR - Logic, Computation and Reasoning Villetaneuse LIPN - Laboratoire d-Informatique de Paris-Nord

Abstract : We define the class of relational graph models and study the induced order-and equational-theories. Using the Taylor expansion, we show that all λ-terms with the same Böhm tree are equated in any relational graph model. If the model is moreover extensional and satisfies a technical condition, then its order-theory coincides with Morris-s observational pre-order. Finally, we introduce an extensional version of the Taylor expansion, then prove that two λ-terms have the same extensional Taylor expansion exactly when they are equivalent in Morris-s sense.

Keywords : linear logic lambda calculus differential nets extensional Böhm trees Taylor expansion

Author: Giulio Manzonetto - Domenico Ruoppolo -



Related documents