Luc Pellissier
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
2015–2021
Best venue rank
C
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | PPDP | Canonical proof-objects for coinductive programming: infinets with infinitely many cuts. | Abhishek De, Luc Pellissier, Alexis Saurin |
| 2020 | CSL | Glueability of Resource Proof-Structures: Inverting the Taylor Expansion. | Giulio Guerrieri, Luc Pellissier, Lorenzo Tortora de Falco |
| 2020 | DCAI | Inferential Semantics as Argumentative Dialogues. | Davide Catta, Luc Pellissier, Christian Retor |
| 2019 | WoLLIC | Proof-Net as Graph, Taylor Expansion as Pullback. | Giulio Guerrieri, Luc Pellissier, Lorenzo Tortora de Falco |
| 2015 | ICTAC | A Functorial Bridge Between the Infinitary Affine Lambda-Calculus and Linear Logic. | Damiano Mazza, Luc Pellissier |