Fixpoint constructions in focused orthogonality models of linear logic

DOI10.46298/ENTICS.12302arXiv2309.10084MaRDI QIDQ6513090FDOQ6513090

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

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 Q6513090)