Divo, M. N. (2017). Formalization of Types and Programming Languages in Isabelle/HOL. Master Thesis, Universität des Saarlandes, Saarbrücken.