Theories as Types - Müller, Dennis; Kohlhase, Michael; Rabe, Florian (9th International Joint Conference on Automated Reasoning, IJCAR 2018 Held as Part of the Federated Logic Conference, FloC 2018, 2018)