Categorical models of linear logic with fixed points of formulas

DOI10.1109/LICS52264.2021.9470664MaRDI QIDQ6651948zbMATH OpenFDO

Authors

Publication date 11 December 2024

Full work available at URL https://doi.org/10.1109/LICS52264.2021.9470664

Mathematics Subject Classification ID

Proof-theoretic aspects of linear logic and other substructural logics (03F52) Categorical aspects of linear logic (18M45)

Recommendations

• On the categorical semantics of elementary linear logic
• scientific article; zbMATH DE number 2185654
• Categorical semantics of linear logic for all
• Automata, Languages and Programming

Cited in

(5)

• LNL-FPC: the linear/non-linear fixpoint calculus
• Fixpoint constructions in focused orthogonality models of linear logic
• Computational expressivity of (circular) proofs with fixed points
• Peano arithmetic and MALL
• Lifting star-autonomy

This page was built for publication: Categorical models of linear logic with fixed points of formulas

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