Cut elimination in coalgebraic logics (0)

by D Pattinson, L Schröder
Venue:Inform. Comput