M. Sc. in Computer Science
Master's Thesis: A Logical Relation for Dependent Type Theory Formalized in Agda