scientific article; zbMATH DE number 7774245

DOI10.4230/LIPICS.CALCO.2021.19MaRDI QIDQ6083353zbMATH OpenFDO

Authors Jean-Simon Pacaud Lemay

Publication date 8 December 2023

Full work available at URL https://doi.org/10.4230/LIPICS.CALCO.2021.19

zbMATH Keywords

coderelictionsdifferential categoriesdifferential linear logicfree exponential modalitiesinfinitesimal augmentationslafont categories

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Recommendations

• An Explicit Formula for the Free Exponential Modality of Linear Logic
• An explicit formula for the free exponential modality of linear logic
• The free exponential modality of probabilistic coherence spaces
• Compatibility relations on codes and free monoids
• Codes modulo finite monadic string-rewriting systems
• scientific article; zbMATH DE number 850400
• Free Modal Algebras: A Coalgebraic Perspective
• scientific article; zbMATH DE number 2068875
• A modal Θ-valent approach of the notion of code
• Expressiveness modulo bisimilarity: a coalgebraic perspective

Cited in

(2)

• Additive enrichment from coderelictions
• Tropical mathematics and the lambda-calculus I: metric and differential analysis of effectful programs

This page was built for publication:

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