Luc Pellissier

According to our database, Luc Pellissier authored at least 15 papers between 2015 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Unifying lower bounds for algebraic machines, semantically.

Thomas Seiller, Luc Pellissier, Ulysse Léchine

Inf. Comput., 2024

2023

The exponential logic of sequentialization.

Aurore Alcolei, Luc Pellissier, Alexis Saurin

Proceedings of the 39th Conference on the Mathematical Foundations of Programming Semantics, 2023

2022

Gluing resource proof-structures: inhabitation and inverting the Taylor expansion.

Giulio Guerrieri, Luc Pellissier, Lorenzo Tortora de Falco

Log. Methods Comput. Sci., 2022

2021

Canonical proof-objects for coinductive programming: infinets with infinitely many cuts.

Abhishek De, Luc Pellissier, Alexis Saurin

Proceedings of the PPDP 2021: 23rd International Symposium on Principles and Practice of Declarative Programming, 2021

2020

Lower bounds for prams over Z.

Luc Pellissier, Thomas Seiller

CoRR, 2020

Inferential Semantics as Argumentative Dialogues.

Davide Catta, Luc Pellissier, Christian Retoré

Proceedings of the Distributed Computing and Artificial Intelligence, 2020

Glueability of Resource Proof-Structures: Inverting the Taylor Expansion.

Giulio Guerrieri, Luc Pellissier, Lorenzo Tortora de Falco

Proceedings of the 28th EACSL Annual Conference on Computer Science Logic, 2020

2019

Glueability of resource proof-structures: inverting the Taylor expansion (long version).

Giulio Guerrieri, Luc Pellissier, Lorenzo Tortora de Falco

CoRR, 2019

Proof-Net as Graph, Taylor Expansion as Pullback.

Giulio Guerrieri, Luc Pellissier, Lorenzo Tortora de Falco

Proceedings of the Logic, Language, Information, and Computation, 2019

2018

Polyadic approximations, fibrations and intersection types.

Damiano Mazza, Luc Pellissier, Pierre Vial

Proc. ACM Program. Lang., 2018

PRAMs over integers do not compute maxflow efficiently.

Luc Pellissier, Thomas Seiller

CoRR, 2018

2017

Reductions and linear approximations. (Réductions et approximations linéaires).

Luc Pellissier

PhD thesis, 2017

2016

Relational type-checking for MELL proof-structures. Part 1: Multiplicatives.

Giulio Guerrieri, Luc Pellissier, Lorenzo Tortora de Falco

CoRR, 2016

Computing Connected Proof(-Structure)s From Their Taylor Expansion.

Giulio Guerrieri, Luc Pellissier, Lorenzo Tortora de Falco

Proceedings of the 1st International Conference on Formal Structures for Computation and Deduction, 2016

2015

A Functorial Bridge Between the Infinitary Affine Lambda-Calculus and Linear Logic.

Damiano Mazza, Luc Pellissier

Proceedings of the Theoretical Aspects of Computing - ICTAC 2015, 2015