Fixpoint constructions in focused orthogonality models of linear logic

DOI10.46298/ENTICS.12302MaRDI QIDQ6831471zbMATH OpenFDO

Authors Marcelo P. Fiore, Zeinab Galal, Farzad Jafar-Rahmani

Publication date 2 April 2026

Copyright license Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International

zbMATH Keywords

orthogonalitylinear logiccategorical modelsfixpoint constructionsinductive, coinductive, and recursive types

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)

This page was built for publication: Fixpoint constructions in focused orthogonality models of linear logic

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