3 papers
cs.LO2023
Fixpoint constructions in focused orthogonality models of linear logic
Marcelo Fiore, Zeinab Galal, Farzad Jafarrahmani
Orthogonality is a notion based on the duality between programs and their environments used to determine when they can be safely combined. For instance, it is a powerful tool to es…
cs.LO2020
Categorical models of Linear Logic with fixed points of formulas
Thomas Ehrhard, Farzad Jafarrahmani
We develop a denotational semantics of muLL, a version of propositional Linear Logic with least and greatest fixed points extending David Baelde's propositional muMALL with exponen…
cs.LO2019
On the denotational semantics of Linear Logic with least and greatest fixed points of formulas
Thomas Ehrhard, Farzad Jafar-Rahmani
We develop a denotational semantics of Linear Logic with least and greatest fixed points in coherence spaces (where both fixed points are interpreted in the same way) and in cohere…