Luc Pellissier

From MaRDI portal
Person:2303596

Available identifiers

zbMath Open pellissier.lucMaRDI QIDQ2303596

List of research outcomes





PublicationDate of PublicationType
Unifying lower bounds for algebraic machines, semantically2024-12-03Paper
Glueability of resource proof-structures: inverting the Taylor expansion2023-02-07Paper
https://portal.mardi4nfdi.de/entity/Q50941322022-08-02Paper
Gluing resource proof-structures: inhabitation and inverting the Taylor expansion2020-08-06Paper
Proof-net as graph, Taylor expansion as pullback2020-03-04Paper
Glueability of resource proof-structures: inverting the Taylor expansion (long version)2019-10-17Paper
https://portal.mardi4nfdi.de/entity/Q53694852017-10-17Paper
A Functorial Bridge Between the Infinitary Affine Lambda-Calculus and Linear Logic2016-02-25Paper

Research outcomes over time

This page was built for person: Luc Pellissier

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:2303596&oldid=6680172"
Powered by MediaWiki