> Details

Guerrieri, Giulio [Author]; Pellissier, Luc [Author]; Tortora de Falco, Lorenzo [Author] ; Giulio Guerrieri and Luc Pellissier and Lorenzo Tortora de Falco [Contributor]

Computing Connected Proof(-Structure)s From Their Taylor Expansion

Reference
management

Bookmarks

Remove from
bookmarks

Share this on Whatsapp

Close

Bookmarks



You can manage bookmarks using lists, please log in to your user account for this.
  • Media type: Text; E-Article; Electronic Conference Proceeding
  • Title: Computing Connected Proof(-Structure)s From Their Taylor Expansion
  • Contributor: Guerrieri, Giulio [Author]; Pellissier, Luc [Author]; Tortora de Falco, Lorenzo [Author]
  • Published: Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2016
  • Language: English
  • DOI: https://doi.org/10.4230/LIPIcs.FSCD.2016.20
  • Keywords: proof-nets ; (differential) linear logic ; relational model ; Taylor expansion
  • Origination:
  • Footnote: Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
  • Description: We show that every connected Multiplicative Exponential Linear Logic (MELL) proof-structure (with or without cuts) is uniquely determined by a well-chosen element of its Taylor expansion: the one obtained by taking two copies of the content of each box. As a consequence, the relational model is injective with respect to connected MELL proof-structures.
  • Access State: Open Access