Krenick´y, Roman (2022) A 2-Categorical Approach to Proof-Comparison. Doctoral thesis, UIN SAIZU Purwokerto.