Categorical fibring of logics with terms and binding operators (0)

by A Sernadas, C Sernadas, C Caleiro, T Mossakowski
Venue:Frontiers of Combining Systems 2, Studies in Logic and Computation