Aug. 13, 2019
A Categorical Extension of the Curry-Howard Isomorphism
Joseph McDonald successfully defends his MA thesis
(pictured left to right) James Robin Bernard Cockett, Nicole Wyatt, Joseph McDonald and Richard Zach
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.