Admissibility of cut in coalgebraic logics (0)

by D Pattinson, L Schröder
Venue:Electr. Notes Theor. Comput. Sci