Luc Pellissier

17 papers B 3C 3Journal 9Unranked 1
YearRankTypeTitle / Venue / Authors
2026 J jnl
Linear Realisability and Implicative Algebras.
CoRR
Alexandre Lucquin, Luc Pellissier, Thomas Seiller
2024 J jnl
Unifying lower bounds for algebraic machines, semantically.
Inf. Comput.
Thomas Seiller, Luc Pellissier, Ulysse Léchine
2023 B conf
The exponential logic of sequentialization.
MFPS
Aurore Alcolei, Luc Pellissier, Alexis Saurin
2022 J jnl
Gluing resource proof-structures: inhabitation and inverting the Taylor expansion.
Log. Methods Comput. Sci.
Giulio Guerrieri, Luc Pellissier, Lorenzo Tortora de Falco
2021 C conf
Canonical proof-objects for coinductive programming: infinets with infinitely many cuts.
PPDP
Abhishek De, Luc Pellissier, Alexis Saurin
2020 B conf
Glueability of Resource Proof-Structures: Inverting the Taylor Expansion.
CSL
Giulio Guerrieri, Luc Pellissier, Lorenzo Tortora de Falco
2020 J jnl
Gluing resource proof-structures: inhabitation and inverting the Taylor expansion.
CoRR
Giulio Guerrieri, Luc Pellissier, Lorenzo Tortora de Falco
2020 — conf
Inferential Semantics as Argumentative Dialogues.
DCAI (Special Sessions)
Davide Catta, Luc Pellissier, Christian Retoré
2020 J jnl
Lower bounds for prams over Z.
CoRR
Luc Pellissier, Thomas Seiller
2019 J jnl
Glueability of resource proof-structures: inverting the Taylor expansion (long version).
CoRR
Giulio Guerrieri, Luc Pellissier, Lorenzo Tortora de Falco
2019 C conf
Proof-Net as Graph, Taylor Expansion as Pullback.
WoLLIC
Giulio Guerrieri, Luc Pellissier, Lorenzo Tortora de Falco
2018 J jnl
PRAMs over integers do not compute maxflow efficiently.
CoRR
Luc Pellissier, Thomas Seiller
2018 J jnl
Polyadic approximations, fibrations and intersection types.
Proc. ACM Program. Lang.
Damiano Mazza, Luc Pellissier, Pierre Vial
2017 — —
Reductions and linear approximations. (Réductions et approximations linéaires).
Luc Pellissier
2016 B conf
Computing Connected Proof(-Structure)s From Their Taylor Expansion.
FSCD
Giulio Guerrieri, Luc Pellissier, Lorenzo Tortora de Falco
2016 J jnl
Relational type-checking for MELL proof-structures. Part 1: Multiplicatives.
CoRR
Giulio Guerrieri, Luc Pellissier, Lorenzo Tortora de Falco
2015 C conf
A Functorial Bridge Between the Infinitary Affine Lambda-Calculus and Linear Logic.
ICTAC
Damiano Mazza, Luc Pellissier