2 citations · 2 across the 2 of their papers we have counts for
4 papers
Sage: Formalization with Semantic Correction
Thomas Hirtz, Farzad Jafarrahmani, Abdelmouksit Sagueni +3
While neural theorem provers have achieved impressive milestones in formal mathematics, they largely operate on the assumption that faithful Lean 4 formal statements are already pr…
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…
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…
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…