Publikation
Joseph Goguen; Till Mossakowski; Valeria De Paiva; Florian Rabe; Lutz Schröder
In: International Journal of Software and Informatics (IJSI), Vol. 1, No. 1, Pages 129-152, 2007.
@article{pub3903, author = { Goguen, Joseph and Mossakowski, Till and Paiva, Valeria De and Rabe, Florian and Schröder, Lutz }, title = {An Institutional View on Categorical Logic}, booktitle = {Int J Software Informatics}, year = {2007}, volume = {1}, number = {1}, pages = {129--152}, journal = {International Journal of Software and Informatics (IJSI)} }
Deutsches Forschungszentrum für
Künstliche Intelligenz GmbH (DFKI)
Trippstadter Str. 122
67663 Kaiserslautern
Deutschland
Tel.: +49 631 20575 0
© DFKI, 2023