A new point of view on the Taylor expansion of proof-nets and uniformity
Authors: Giulio Guerrieri and Lorenzo Tortora De Falco
Paper Information
| Title: | A new point of view on the Taylor expansion of proof-nets and uniformity |
| Authors: | Giulio Guerrieri and Lorenzo Tortora De Falco |
| Proceedings: | Linearity 2014 Informal Proceedings |
| Editors: | Sandra Alves and Iliano Cervesato |
| Keywords: | proof-nets, Differential Linear Logic, Taylor expansion, proto-differential nets, coherence |
| Abstract: | ABSTRACT. We introduce (in the multiplicative and exponential fragment of linear logic) the notion of protodifferential net. We then define a coherence relation on the set of proto-differential nets and prove the analogue of the result proven for differential lambda-terms, which does not hold for differential nets: a set of proto-differential nets is the subset of the proto-Taylor expansion of some proof-structure if and only if it is a clique. |
| Pages: | 8 |
| Talk: | Jul 13 18:00 |
| Paper: |  |