Proof-Net as Graph, Taylor Expansion as Pullback

Giulio Guerrieri, Luc Pellissier, Lorenzo Tortora de Falco

Research output: Chapter or section in a book/report/conference proceedingChapter in a published conference proceeding

4 Citations (SciVal)
57 Downloads (Pure)


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.

Original languageEnglish
Title of host publicationLogic, Language, Information, and Computation - 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, Proceedings
EditorsRosalie Iemhoff, Michael Moortgat, Ruy de Queiroz
Place of PublicationBerlin, Germany
PublisherSpringer Verlag
Number of pages19
ISBN (Print)9783662595329
Publication statusPublished - 1 Jul 2019
Event26th International Workshop on Logic, Language, Information and Communication, WoLLIC 2019 - Utrecht, Netherlands
Duration: 2 Jul 20195 Jul 2019

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume11541 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Conference26th International Workshop on Logic, Language, Information and Communication, WoLLIC 2019


  • Graph
  • Linear logic
  • Proof-net
  • Taylor expansion

ASJC Scopus subject areas

  • Theoretical Computer Science
  • General Computer Science


Dive into the research topics of 'Proof-Net as Graph, Taylor Expansion as Pullback'. Together they form a unique fingerprint.

Cite this