Phase semantics for linear logic with least and greatest fixed points

DOI10.4230/LIPICS.FSTTCS.2022.35MaRDI QIDQ6604652FDOQ6604652

Authors: De Abhishek, Farzad Jafar-Rahmani, Alexis Saurin 

Publication date: 12 September 2024

zbMATH Keywords

fixed pointslinear logiccut eliminationphase semanticsclosure ordinals

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: Phase semantics for linear logic with least and greatest fixed points

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