Skip to Main content
Number of documents

16

Luc Pellissier


Currently preparing a PhD at the LIPN, Université Paris 13, Université Sorbonne Paris Cité, under the supervision of Damiano Mazza.

 

Ma page personnelle


Conference papers11 documents

  • Giulio Guerrieri, Giulia Manara, Luc Pellissier, Lorenzo Tortora de Falco, Lionel Vaux Auclair. MELL proof-nets in the category of graphs. 5th International Workshop on Trends in Linear Logic and Applications (TLLA 2021), Jun 2021, Rome (virtual), Italy. ⟨lirmm-03271478⟩
  • Abhishek De, Luc Pellissier, Alexis Saurin. Canonical proof-objects for coinductive programming: infinets with infinitely many cuts. PPDP 2021: 23rd International Symposium on Principles and Practice of Declarative Programming, Sep 2021, Tallinn, Estonia. pp.1-15, ⟨10.1145/3479394.3479402⟩. ⟨hal-03371935⟩
  • Davide Catta, Luc Pellissier, Christian Retoré. Inferential Semantics as Argumentative Dialogues. DCAI 2020 - 17th International Conference on Distributed Computing and Artificial Intelligence, Jun 2020, L´Aquila, Italy. pp.72-81, ⟨10.1007/978-3-030-53829-3_7⟩. ⟨hal-02922646⟩
  • Giulio Guerrieri, Luc Pellissier, Lorenzo Tortora de Falco. Glueability of resource proof-structures: inverting the Taylor expansion. 28th EACSL Annual Conference on Computer Science Logic, Jan 2020, Barcelone, Spain. ⟨10.4230/LIPIcs.CSL.2020.24⟩. ⟨hal-02957862⟩
  • Giulio Guerrieri, Luc Pellissier, Lorenzo Tortora de Falco. Relational type-checking of connected proof-structures. Developments in Implicit Computational Complexity, Apr 2016, Eindhoven, Netherlands. ⟨hal-01287936⟩
  • Giulio Guerrieri, Luc Pellissier, Lorenzo Tortora de Falco. Computing connected proof(-structure)s from their Taylor expansion. Formal Structures in Computation and Deduction, Jun 2016, Porto, Portugal. pp.20:1-20:18. ⟨hal-01310563⟩
  • Giulio Guerrieri, Luc Pellissier, Lorenzo Tortora de Falco. Relational type-checking for MELL proof-structures. Part 1: Multiplicatives. Eighth Workshop on Intersection Types and Related Systems, Jun 2016, Porto, Portugal. ⟨hal-01324001⟩
  • Giulio Guerrieri, Luc Pellissier, Lorenzo Tortora de Falco. Injectivity of relational semantics with respect to MELL proof-nets and the Taylor expansion. 8th International Conference on Topology, Algebra and Categories in Logic, Jun 2015, Ischia, Italy. ⟨hal-01298563⟩
  • Pierre Boudes, Antoine Kaszczyc, Luc Pellissier. Monetary Economics Simulation: Stock-Flow Consistent Invariance, Monadic Style. 11th Artificial Economics Conference, Faculdade de Economia do Porto, Sep 2015, Porto, Portugal. ⟨hal-01181278⟩
  • Damiano Mazza, Luc Pellissier. A Functorial Bridge between the Infinitary Affine Lambda-Calculus and Linear Logic. Internation Colloquium on Theoretical Aspects of Computing, Oct 2015, Cali, Colombia. pp.144-161, ⟨10.1007/978-3-319-25150-9_10⟩. ⟨hal-01183520v2⟩
  • Giulio Guerrieri, Lorenzo Tortora de Falco, Luc Pellissier. Injectivity of relational semantics for (connected) MELL proof-nets via Taylor expansion. 8th International Workshop on Computing with Terms and Graphs, Jul 2014, Vienna, Austria. ⟨hal-00998847⟩

Book sections1 document

  • Giulio Guerrieri, Luc Pellissier, Lorenzo Tortora de Falco. Proof-Net as Graph, Taylor Expansion as Pullback. Logic, Language, Information, and Computation - 26th Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings, pp.282-300, 2019, ⟨10.1007/978-3-662-59533-6_18⟩. ⟨hal-02313538⟩

Preprints, Working Papers, ...4 documents

  • Abhishek De, Luc Pellissier, Alexis Saurin. Eliminating infinitely many cuts in non-wellfounded MLL proof-nets. 2021. ⟨hal-03235591⟩
  • Luc Pellissier, Thomas Seiller. PRAMs over integers do not compute maxflow efficiently. 2021. ⟨hal-01921942v2⟩
  • Luc Pellissier, Thomas Seiller. Lower bounds for algebraic machines, semantically. 2021. ⟨hal-02487667v2⟩
  • Juan Gastaldi, Luc Pellissier. The Logic of Language: from the Distributional to the Structuralist Hypothesis through Types and Interaction. 2020. ⟨hal-03064480⟩