Comparing infinitary systems for linear logic with fixed points

DOI10.4230/LIPICS.FSTTCS.2023.40MaRDI QIDQ6951693zbMATH OpenFDO

Authors Anupam Das, Abhishek De, Alexis Saurin

Publication date 28 July 2025

Copyright license Creative Commons Attribution 4.0 International

zbMATH Keywords

fixed pointslinear logicanalytical hierarchynon-wellfounded proofsomega-branching proofs

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Theory of computing (68Qxx)

This page was built for publication: Comparing infinitary systems for linear logic with fixed points

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