Farzaneh Derakhshan
CV
|
Google Scholar
Presentations
|
Home
Technical Reports
PhD Dissertation: Session-Typed Recursive Processes and Circular Proofs.