Proof-net as graph, Taylor expansion as pullback

DOI10.1007/978-3-662-59533-6_18MaRDI QIDQ2303597zbMATH OpenOpenAlexFDO

Authors Giulio Guerrieri, Luc Pellissier, Lorenzo Tortora de Falco

Publication date 4 March 2020

Full work available at URL https://doi.org/10.1007/978-3-662-59533-6_18

zbMATH Keywords

graphlinear logicproof-netTaylor expansion

Mathematics Subject Classification ID

Logic in computer science (03B70)

Recommendations

• Computing connected proof(-structure)s from their Taylor expansion
• scientific article; zbMATH DE number 7003195
• Gluing resource proof-structures: inhabitation and inverting the Taylor expansion
• scientific article; zbMATH DE number 7471682
• An application of parallel cut elimination in unit-free multiplicative linear logic to the Taylor expansion of proof nets

Cited in

(5)

• Implicit exchange in multiplicative proofnets
• Gluing resource proof-structures: inhabitation and inverting the Taylor expansion
• Resource approximation for the -calculus
• A deep inference system for differential linear logic
• Confluence for proof-nets via parallel cut elimination

This page was built for publication: Proof-net as graph, Taylor expansion as pullback

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2303597)