Browser does not support script.
Chen, Liang-Ting (2014). On a purely categorical framework for coalgebraic modal logic. University of Birmingham. Ph.D.
