Farzad Jafar-Rahmani

Publication Activity (10 Years)

Years Active: 2019-2022
Publications (10 Years): 4

Top Topics

Denotational Semantics

Desirable Properties

Top Venues

Publications

Abhishek De, Farzad Jafar-Rahmani, Alexis Saurin
Phase Semantics for Linear Logic with Least and Greatest Fixed Points. FSTTCS (2022)
Thomas Ehrhard, Farzad Jafar-Rahmani
Categorical models of Linear Logic with fixed points of formulas. LICS (2021)
Thomas Ehrhard, Farzad Jafar-Rahmani
Categorical models of Linear Logic with fixed points of formulas. CoRR (2020)
Thomas Ehrhard, Farzad Jafar-Rahmani
On the denotational semantics of Linear Logic with least and greatest fixed points of formulas. CoRR (2019)