On the denotational semantics of Linear Logic with least and greatest fixed points of formulas. - Thomas Ehrhard; Farzad Jafar-Rahmani (CoRR, 2019)

Categorical models of Linear Logic with fixed points of formulas. - Thomas Ehrhard; Farzad Jafarrahmani (LICS, 2021)

Phase Semantics for Linear Logic with Least and Greatest Fixed Points. - Abhishek De 001; Farzad Jafarrahmani; Alexis Saurin (FSTTCS, 2022)

Fixpoint constructions in focused orthogonality models of linear logic. - Marcelo Fiore; Zeinab Galal; Farzad Jafarrahmani (MFPS, 2023)

Fixpoints of Types in Linear Logic from a Curry-Howard-Lambek Perspective. (Points fixes de types en logique linéaire d'un point de vue Curry-Howard-Lambek). - Farzad Jafarrahmani (2023)