Luc Pellissier

Présentation

Doctorant au LIPN, Université Paris 13, Université Sorbonne Paris Cité, sous la direction de Damiano Mazza.

Ma page personnelle

Publications

Communication dans un congrès (13)

Ineffective Right and Undone Science: the case of the access to administrative algorithms in France Luc Pellissier,Noé Wagener Undone Computer Science, Mar 2026, Luxembourg, Luxembourg Communication dans un congrès hal-05500963v1
The exponential logic of sequentialization Aurore Alcolei,Luc Pellissier,Alexis Saurin MFPS XXXIX - 39th Conference on the Mathematical Foundations of Programming Semantics, Marie Kerjean & Paul B. Levy, Jun 2023, Bloomington (Indiana), United States. ⟨10.46298/entics.12419⟩ Communication dans un congrès hal-04308279v1
Canonical proof-objects for coinductive programming: infinets with infinitely many cuts Abhishek De,Luc Pellissier,Alexis Saurin PPDP 2021: 23rd International Symposium on Principles and Practice of Declarative Programming, Sep 2021, Tallinn, Estonia. pp.1-15, ⟨10.1145/3479394.3479402⟩ Communication dans un congrès hal-03371935v1
MELL proof-nets in the category of graphs Giulio Guerrieri,Giulia Manara,Luc Pellissier,Lorenzo Tortora de Falco,Lionel Vaux Auclair 5th International Workshop on Trends in Linear Logic and Applications (TLLA 2021), Jun 2021, Rome (virtual), Italy Communication dans un congrès lirmm-03271478v1
Inferential Semantics as Argumentative Dialogues Davide Catta,Luc Pellissier,Christian Retoré DCAI 2020 - 17th International Conference on Distributed Computing and Artificial Intelligence, Jun 2020, L´Aquila, Italy. pp.72-81, ⟨10.1007/978-3-030-53829-3_7⟩ Communication dans un congrès hal-02922646v1
Glueability of resource proof-structures: inverting the Taylor expansion Giulio Guerrieri,Luc Pellissier,Lorenzo Tortora de Falco 28th EACSL Annual Conference on Computer Science Logic, Jan 2020, Barcelone, Spain. ⟨10.4230/LIPIcs.CSL.2020.24⟩ Communication dans un congrès hal-02957862v1
Computing connected proof(-structure)s from their Taylor expansion Giulio Guerrieri,Luc Pellissier,Lorenzo Tortora de Falco Formal Structures in Computation and Deduction, Jun 2016, Porto, Portugal. pp.20:1-20:18 Communication dans un congrès hal-01310563v1
Relational type-checking of connected proof-structures Giulio Guerrieri,Luc Pellissier,Lorenzo Tortora de Falco Developments in Implicit Computational Complexity, Apr 2016, Eindhoven, Netherlands Communication dans un congrès hal-01287936v1
Relational type-checking for MELL proof-structures. Part 1: Multiplicatives Giulio Guerrieri,Luc Pellissier,Lorenzo Tortora de Falco Eighth Workshop on Intersection Types and Related Systems, Jun 2016, Porto, Portugal Communication dans un congrès hal-01324001v1
Injectivity of relational semantics with respect to MELL proof-nets and the Taylor expansion Giulio Guerrieri,Luc Pellissier,Lorenzo Tortora de Falco 8th International Conference on Topology, Algebra and Categories in Logic, Jun 2015, Ischia, Italy Communication dans un congrès hal-01298563v1
Monetary Economics Simulation: Stock-Flow Consistent Invariance, Monadic Style Pierre Boudes,Antoine Kaszczyc,Luc Pellissier 11th Artificial Economics Conference, Faculdade de Economia do Porto, Sep 2015, Porto, Portugal Communication dans un congrès hal-01181278v1
A Functorial Bridge between the Infinitary Affine Lambda-Calculus and Linear Logic Damiano Mazza,Luc Pellissier Internation Colloquium on Theoretical Aspects of Computing, Oct 2015, Cali, Colombia. pp.144-161, ⟨10.1007/978-3-319-25150-9_10⟩ Communication dans un congrès hal-01183520v2
Injectivity of relational semantics for (connected) MELL proof-nets via Taylor expansion Giulio Guerrieri,Lorenzo Tortora de Falco,Luc Pellissier 8th International Workshop on Computing with Terms and Graphs, Jul 2014, Vienna, Austria Communication dans un congrès hal-00998847v1

Article dans une revue (3)

L'ineffectivité du droit d'accès à l'information sur les algorithmes : une étude empirique Philippine Ducros,Maxime Zimmer,Luc Pellissier,Noé Wagener Revue des droits et libertés fondamentaux, 2025, 2025 (Constitutionnalisme numérique et approches critiques en droit et technologie), pp.Chronique n° 45 Article dans une revue hal-05131000v2
Unifying lower bounds for algebraic machines, semantically Thomas Seiller,Luc Pellissier,Ulysse Léchine Information and Computation, 2024, 301, pp.105232. ⟨10.1016/j.ic.2024.105232⟩ Article dans une revue hal-01921942v7
Polyadic approximations, fibrations and intersection types Damiano Mazza,Luc Pellissier,Pierre Vial Proceedings of the ACM on Programming Languages, 2017, 2 (POPL), pp.1-28. ⟨10.1145/3158094⟩ Article dans une revue hal-04709336v1

Ouvrages (1)

33èmes journées francophones des langages applicatifs Chantal Keller,Timothy Bourke,Sandrine Blazy,Frédéric Bour,Guillaume Buryet al. Chantal Keller; Timothy Bourke. , pp.1-292, 2022 Ouvrages hal-03689075v1

Chapitre d'ouvrage (1)

Proof-Net as Graph, Taylor Expansion as Pullback Giulio Guerrieri,Luc Pellissier,Lorenzo Tortora de Falco Logic, Language, Information, and Computation - 26th Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings, pp.282-300, 2019, ⟨10.1007/978-3-662-59533-6_18⟩ Chapitre d'ouvrage hal-02313538v1

Autre publication scientifique (1)

Infodroit, 2 ans de recherches (2024-2025) à l'université Paris-Est Créteil Noé Wagener,Luc Pellissier,Pierre Valarcher,Eloi Barbier,Philippine Ducroset al. 2025 Autre publication scientifique halshs-05421728v1

Pré-publication, Document de travail (4)

Linear Realisability and Implicative Algebras Alexandre Lucquin,Luc Pellissier,Thomas Seiller 2026 Pré-publication, Document de travail hal-05474801v1
The Logic of Language: from the Distributional to the Structuralist Hypothesis through Types and Interaction Juan Luis Gastaldi,Luc Pellissier 2023 Pré-publication, Document de travail hal-03064480v2
Eliminating infinitely many cuts in non-wellfounded MLL proof-nets Abhishek De,Luc Pellissier,Alexis Saurin 2021 Pré-publication, Document de travail hal-03235591v1
Lower bounds for algebraic machines, semantically Luc Pellissier,Thomas Seiller 2021 Pré-publication, Document de travail hal-02487667v2