Luc Pellissier

Publication Activity (10 Years)

Years Active: 2015-2023
Publications (10 Years): 13

Top Topics

Spoken Dialogue

Resource Allocation

Top Venues

Proc. ACM Program. Lang.

Publications

Aurore Alcolei, Luc Pellissier, Alexis Saurin
The exponential logic of sequentialization. CoRR (2023)
Giulio Guerrieri, Luc Pellissier, Lorenzo Tortora de Falco
Gluing resource proof-structures: inhabitation and inverting the Taylor expansion. Log. Methods Comput. Sci. 18 (2) (2022)
Abhishek De, Luc Pellissier, Alexis Saurin
Canonical proof-objects for coinductive programming: infinets with infinitely many cuts. PPDP (2021)
Giulio Guerrieri, Luc Pellissier, Lorenzo Tortora de Falco
Glueability of Resource Proof-Structures: Inverting the Taylor Expansion. CSL (2020)
Luc Pellissier, Thomas Seiller
Lower bounds for prams over Z. CoRR (2020)
Davide Catta, Luc Pellissier, Christian Retoré
Inferential Semantics as Argumentative Dialogues. DCAI (Special Sessions) (2020)
Giulio Guerrieri, Luc Pellissier, Lorenzo Tortora de Falco
Gluing resource proof-structures: inhabitation and inverting the Taylor expansion. CoRR (2020)
Giulio Guerrieri, Luc Pellissier, Lorenzo Tortora de Falco
Glueability of resource proof-structures: inverting the Taylor expansion (long version). CoRR (2019)
Giulio Guerrieri, Luc Pellissier, Lorenzo Tortora de Falco
Proof-Net as Graph, Taylor Expansion as Pullback. WoLLIC (2019)
Damiano Mazza, Luc Pellissier, Pierre Vial
Polyadic approximations, fibrations and intersection types. Proc. ACM Program. Lang. 2 (POPL) (2018)
Luc Pellissier, Thomas Seiller
PRAMs over integers do not compute maxflow efficiently. CoRR (2018)
Giulio Guerrieri, Luc Pellissier, Lorenzo Tortora de Falco
Relational type-checking for MELL proof-structures. Part 1: Multiplicatives. CoRR (2016)
Giulio Guerrieri, Luc Pellissier, Lorenzo Tortora de Falco
Computing Connected Proof(-Structure)s From Their Taylor Expansion. FSCD (2016)
Damiano Mazza, Luc Pellissier
A Functorial Bridge Between the Infinitary Affine Lambda-Calculus and Linear Logic. ICTAC (2015)