References
Carlos Caleiro
with Marcelino Sérgio, Baltazar Pedro (2015). Deciding theoremhood in fibred logics without shared connectives. In A. Koslow & A. Buchsbaum (eds.) The road to universal logic II (pp. 387-406). Basel: Birkhäuser.
with Sernadas Cristina (2006). Quantum institutions. In K. Futatsugi, J. Jouannaud & J. Meseguer (eds.) Algebra, meaning, and computation (pp. 50-64). Dordrecht: Springer.