We introduce a new graphical representation for multiplicative and exponential linear logic proof-structures, based only on standard labelled oriented graphs and standard notions of graph theory. The inductive structure of boxes is handled by means of a box-tree. Our proof-structures are canonical and allows for an elegant definition of their Taylor expansion by means of pullbacks.
|Titolo:||Proof-Net as Graph, Taylor Expansion as Pullback|
TORTORA DE FALCO, LORENZO (Corresponding)
|Data di pubblicazione:||2019|
|Citazione:||Guerrieri, G., Pellissier, L., & Tortora de Falco, L. (2019). Proof-Net as Graph, Taylor Expansion as Pullback. In Logic, Language, Information, and Computation.|
|Appare nelle tipologie:||4.1 Contributo in Atti di convegno|