Unifying lower bounds for algebraic machines, semantically. - Seiller, Thomas; Pellissier, Luc; Léchine, Ulysse (Inf. Comput., 2024)

The exponential logic of sequentialization. - Alcolei, Aurore; Pellissier, Luc; Saurin, Alexis (2023)

Gluing resource proof-structures: inhabitation and inverting the Taylor expansion. - Guerrieri, Giulio; Pellissier, Luc; Falco, Lorenzo Tortora de (Log. Methods Comput. Sci., 2022)

Canonical proof-objects for coinductive programming: infinets with infinitely many cuts. - De, Abhishek; Pellissier, Luc; Saurin, Alexis (2021)

Glueability of Resource Proof-Structures: Inverting the Taylor Expansion. - Guerrieri, Giulio; Pellissier, Luc; Falco, Lorenzo Tortora de (2020)

Inferential Semantics as Argumentative Dialogues. - Catta, Davide; Pellissier, Luc; Retoré, Christian (2020)

Lower bounds for prams over Z. - Pellissier, Luc; Seiller, Thomas (CoRR, 2020)

Gluing resource proof-structures: inhabitation and inverting the Taylor expansion. - Guerrieri, Giulio; Pellissier, Luc; Falco, Lorenzo Tortora de (CoRR, 2020)

Proof-Net as Graph, Taylor Expansion as Pullback. - Guerrieri, Giulio; Pellissier, Luc; Falco, Lorenzo Tortora de (2019)

Glueability of resource proof-structures: inverting the Taylor expansion (long version). - Guerrieri, Giulio; Pellissier, Luc; Falco, Lorenzo Tortora de (CoRR, 2019)

Polyadic approximations, fibrations and intersection types. - Mazza, Damiano; Pellissier, Luc; Vial, Pierre (Proc. ACM Program. Lang., 2018)

PRAMs over integers do not compute maxflow efficiently. - Pellissier, Luc; Seiller, Thomas (CoRR, 2018)

Reductions and linear approximations. (Réductions et approximations linéaires). - Pellissier, Luc (2017)

Computing Connected Proof(-Structure)s From Their Taylor Expansion. - Guerrieri, Giulio; Pellissier, Luc; Falco, Lorenzo Tortora de (2016)

Relational type-checking for MELL proof-structures. Part 1: Multiplicatives. - Guerrieri, Giulio; Pellissier, Luc; Falco, Lorenzo Tortora de (CoRR, 2016)

A Functorial Bridge Between the Infinitary Affine Lambda-Calculus and Linear Logic. - Mazza, Damiano; Pellissier, Luc (2015)