T.: Categorical Fibring of Logics with Terms and Binding Operators (0)

by A Sernadas, C Sernadas, C Caleiro, Mossakowski
Venue:Frontiers of Combining Systems. Research Studies