Farzaneh Derakhshan
Farzaneh Derakhshan
Verified email at andrew.cmu.edu
Title
Cited by
Cited by
Year
Circular proofs as session-typed processes: A local validity condition
F Derakhshan, F Pfenning
arXiv preprint arXiv:1908.01909, 2019
172019
Uniform interpolation in substructural logics
M Alizadeh, F Derakhshan, H Ono
The Review of Symbolic Logic 7 (3), 455-483, 2014
52014
Strong Progress for Session-Typed Processes in a Linear Metalogic with Circular Proofs
F Derakhshan, F Pfenning
arXiv preprint arXiv:2001.05132, 2020
4*2020
Session Logical Relations for Noninterference
F Derakhshan, S Balzer, L Jia
LICS '21: Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in …, 2021
22021
Human-centered automated proof search
W Sieg, F Derakhshan
Journal of Automated Reasoning, 2021
12021
Session-Typed Recursive Processes and Circular Proofs
F Derakhshan
Carnegie Mellon University, 2021
2021
The system can't perform the operation now. Try again later.
Articles 1–6