Categorial Fibring of Logics with Terms and Binding Operators (1998)

by Amilcar Sernadas , Cristina Sernadas , Carlos Caleiro , Till Mossakowski
Venue:FRONTIERS OF COMBINING SYSTEMS 2, STUDIES IN LOGIC AND COMPUTATION
Citations:14 - 10 self