We stand with Ukraine  

Farzad Jafarrahmani

Affiliations:
  • University of Paris, IRIF, Paris, France


According to our database1, Farzad Jafarrahmani authored at least 5 papers between 2019 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

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).
[BibTeX]
[DOI]
Farzad Jafarrahmani
PhD thesis, 2023

Fixpoint constructions in focused orthogonality models of linear logic.
[BibTeX]
[DOI]
Marcelo Fiore
,
Zeinab Galal
,
Farzad Jafarrahmani
Proceedings of the 39th Conference on the Mathematical Foundations of Programming Semantics, 2023

2022
Phase Semantics for Linear Logic with Least and Greatest Fixed Points.
[BibTeX]
[DOI]
Abhishek De
,
Farzad Jafarrahmani
,
Alexis Saurin
Proceedings of the 42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2022

2021
Categorical models of Linear Logic with fixed points of formulas.
[BibTeX]
[DOI]
Thomas Ehrhard
,
Farzad Jafarrahmani
Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021

2019
On the denotational semantics of Linear Logic with least and greatest fixed points of formulas.
[BibTeX]
[DOI]
Thomas Ehrhard
,
Farzad Jafar-Rahmani
CoRR, 2019


  Loading...