Joakim Öhman

M. Sc. in Computer Science

Email: ohmanjoakim at gmail dot com
LinkedIn: linkedin.com/in/joakim-ohman-7b900913a
GitHub: github.com/mr-ohman

Master's Thesis: A Logical Relation for Dependent Type Theory Formalized in Agda