Farzaneh Derakhshan

CV | Google Scholar

Presentations | Home

Talks/Presentations

• Session-Typed Recursive Processes and Circular Proofs. Farzaneh Derakhshan. PhD proposal, Philosophy Department, Carnegie Mellon University. Advised by Frank Pfenning. May 2020.

• Infinitary proof theory of first order linear logic with fixed points. Farzaneh Derakhshan. 2020 ASL North American Annual Meeting (virtual), Special Session on Proof Theory. [Video] March 2020.