Aug. 13, 2019
A Categorical Extension of the Curry-Howard Isomorphism
Joseph McDonald successfully defends his MA thesis
Joseph McDonald defended his MA thesis “A Categorical Extension of the Curry-Howard Isomorphism” on August 9, 2019, to examining committee members Richard Zach (supervisor), Nicole Wyatt and James Robin Bernard Cockett (external).
We wish him the best of luck as he moves on to his MSc Logic in Amsterdam.