HDS-16: Rodenburg, Piet (2016) Intuitionistic Correspondence Theory. Doctoral thesis, University of Amsterdam.