Müller D, Rabe F (2019)
Publication Type: Conference contribution
Publication year: 2019
DOI: 10.1007/978-3-030-23220-7_9
APA:
Müller, D., & Rabe, F. (2019). Structuring Theories with Implicit Morphisms.
MLA:
Müller, Dennis, and Florian Rabe. "Structuring Theories with Implicit Morphisms." 2019.
BibTeX: Download