TY  - RPRT
TI  - Fixpoint constructions in focused orthogonality models of linear logic
AU  - Marcelo Fiore
AU  - Zeinab Galal
AU  - Farzad Jafarrahmani
PY  - 2023
DO  - 10.46298/entics.12302
UR  - https://arxiv.org/abs/2309.10084
ID  - 2309.10084
ER  -