Luc Pellissier

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
The exponential logic of sequentialization	2026-04-02	Paper
Unifying lower bounds for algebraic machines, semantically Information and Computation	2024-12-03	Paper
Glueability of resource proof-structures: inverting the Taylor expansion	2023-02-07	Paper
scientific article; zbMATH DE number 7566060 (Why is no real title available?) (available as arXiv preprint)	2022-08-02	Paper
scientific article; zbMATH DE number 7566060 (Why is no real title available?)	2022-08-02	Paper
Gluing resource proof-structures: inhabitation and inverting the Taylor expansion (available as arXiv preprint)	2020-08-06	Paper
Proof-net as graph, Taylor expansion as pullback	2020-03-04	Paper
Glueability of resource proof-structures: inverting the Taylor expansion (long version)	2019-10-17	Paper
Computing connected proof(-structure)s from their Taylor expansion	2017-10-17	Paper
A functorial bridge between the infinitary affine lambda-calculus and linear logic Theoretical Aspects of Computing - ICTAC 2015	2016-02-25	Paper

Research outcomes over time

This page was built for person: Luc Pellissier