Luc Pellissier
Présentation
Doctorant au LIPN, Université Paris 13, Université Sorbonne Paris Cité, sous la direction de Damiano Mazza.
Publications
Publications
|
|
Ineffective Right and Undone Science: the case of the access to administrative algorithms in FranceUndone Computer Science, Mar 2026, Luxembourg, Luxembourg |
|
|
The exponential logic of sequentializationMFPS 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⟩ |
|
|
Canonical proof-objects for coinductive programming: infinets with infinitely many cutsPPDP 2021: 23rd International Symposium on Principles and Practice of Declarative Programming, Sep 2021, Tallinn, Estonia. pp.1-15, ⟨10.1145/3479394.3479402⟩ |
|
|
MELL proof-nets in the category of graphs5th International Workshop on Trends in Linear Logic and Applications (TLLA 2021), Jun 2021, Rome (virtual), Italy |
|
|
Inferential Semantics as Argumentative DialoguesDCAI 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⟩ |
|
|
Glueability of resource proof-structures: inverting the Taylor expansion28th EACSL Annual Conference on Computer Science Logic, Jan 2020, Barcelone, Spain. ⟨10.4230/LIPIcs.CSL.2020.24⟩ |
|
|
Computing connected proof(-structure)s from their Taylor expansionFormal Structures in Computation and Deduction, Jun 2016, Porto, Portugal. pp.20:1-20:18 |
Relational type-checking of connected proof-structuresDevelopments in Implicit Computational Complexity, Apr 2016, Eindhoven, Netherlands |
|
|
|
Relational type-checking for MELL proof-structures. Part 1: MultiplicativesEighth Workshop on Intersection Types and Related Systems, Jun 2016, Porto, Portugal |
Injectivity of relational semantics with respect to MELL proof-nets and the Taylor expansion8th International Conference on Topology, Algebra and Categories in Logic, Jun 2015, Ischia, Italy |
|
|
|
Monetary Economics Simulation: Stock-Flow Consistent Invariance, Monadic Style11th Artificial Economics Conference, Faculdade de Economia do Porto, Sep 2015, Porto, Portugal |
|
|
A Functorial Bridge between the Infinitary Affine Lambda-Calculus and Linear LogicInternation Colloquium on Theoretical Aspects of Computing, Oct 2015, Cali, Colombia. pp.144-161, ⟨10.1007/978-3-319-25150-9_10⟩ |
|
|
Injectivity of relational semantics for (connected) MELL proof-nets via Taylor expansion8th International Workshop on Computing with Terms and Graphs, Jul 2014, Vienna, Austria |
|
|
L'ineffectivité du droit d'accès à l'information sur les algorithmes : une étude empiriqueRevue des droits et libertés fondamentaux, 2025, 2025 (Constitutionnalisme numérique et approches critiques en droit et technologie), pp.Chronique n° 45 |
|
|
Unifying lower bounds for algebraic machines, semanticallyInformation and Computation, 2024, 301, pp.105232. ⟨10.1016/j.ic.2024.105232⟩ |
|
|
Polyadic approximations, fibrations and intersection typesProceedings of the ACM on Programming Languages, 2017, 2 (POPL), pp.1-28. ⟨10.1145/3158094⟩ |
|
|
33èmes journées francophones des langages applicatifsChantal Keller; Timothy Bourke. , pp.1-292, 2022 |
|
|
Proof-Net as Graph, Taylor Expansion as PullbackLogic, 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⟩ |
|
|
Infodroit, 2 ans de recherches (2024-2025) à l'université Paris-Est Créteil2025 |
|
|
Linear Realisability and Implicative Algebras2026 |
|
|
The Logic of Language: from the Distributional to the Structuralist Hypothesis through Types and Interaction2023 |
|
|
Eliminating infinitely many cuts in non-wellfounded MLL proof-nets2021 |
|
|
Lower bounds for algebraic machines, semantically2021 |