Thesis and Technical Reports

• Session-Typed Recursive Processes and Circular Proofs. Farzaneh Derakhshan, PhD Dissertation, CMU.
• Strong Progress for Session-Typed Processes in a Linear Metalogic with Circular Proofs. Farzaneh Derakhshan and Frank Pfenning.