Admissibility of Cut in Coalgebraic Logics (2008)

by Dirk Pattinson , Lutz Schröder
Venue:CMCS
Citations:8 - 7 self