Generalized Theoroidal Institution Comorphisms

@inproceedings{pub4455,
    author = {

Codescu, Mihai
},
    editor = {

Corradini, Andrea
 and 

Montanari, Ugo
},
    title = {Generalized Theoroidal Institution Comorphisms},
    booktitle = {Recent Trends in Algebraic Development Techniques. International Workshop on Algebraic Development Techniques (WADT-2008), 19th, June 13-16, Pisa, Italy},
    series = {Lecture Notes in Computer Science (LNCS)},
    year = {2009},
    volume = {5486},
    pages = {88--101},
    publisher = {Springer},
    isbn = {978-3-642-03428-2}
}