An Institutional View on Categorical Logic

@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)}
}