Theories as Types

Müller D, Kohlhase M, Rabe F (2018)

Publication Status: Published

Publication Type: Conference contribution, Original article

Publication year: 2018

Publisher: Springer Verlag

Pages Range: 575-590

ISBN: 9783319942049

DOI: 10.1007/978-3-319-94205-6_38

Authors with CRIS profile

Dennis Müller Professur für Wissensrepräsentation und -verarbeitung Michael Kohlhase Professur für Wissensrepräsentation und -verarbeitung Florian Rabe Professur für Wissensrepräsentation und -verarbeitung

How to cite

APA:

Müller, D., Kohlhase, M., & Rabe, F. (2018). Theories as Types. In Proceedings of the 9th International Joint Conference on Automated Reasoning, IJCAR 2018 Held as Part of the Federated Logic Conference, FloC 2018 (pp. 575-590). Springer Verlag.

MLA:

Müller, Dennis, Michael Kohlhase, and Florian Rabe. "Theories as Types." Proceedings of the 9th International Joint Conference on Automated Reasoning, IJCAR 2018 Held as Part of the Federated Logic Conference, FloC 2018 Springer Verlag, 2018. 575-590.

BibTeX: Download