Esfandiar Haghverdi
Original record- Institution
- University of Ottawa
- Year
- 2000
- Country
- Canada
- MGP identifier
- 68200
Dissertation: A Categorical Approach to Linear Logic, Geometry of Proofs and Full Completeness
Advisor 1
- Philip J. ScottUniversity of Waterloo · 1976
Students 1
| Name | Institution | Year | Students |
|---|---|---|---|
| Erik Michael Wennstrom | Indiana University | 2012 | 0 |