General logics and logical frameworks (0)

by N Marti-Oliet, J Meseguer
Venue:In Gabbay [91