Rizkallah, Christine Algorithms and Complexity, MPI for Informatics, Max Planck Society;
Brown, C. E., & Rizkallah, C. (2014). Glivenko and Kuroda for Simple Type Theory. The Journal of Symbolic Logic, 79(2), 485-495. doi:10.1017/jsl.2013.10.