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.