Expressive Logics for Coalgebras via Terminal Sequence Induction (2002)

by Dirk Pattinson, D- Mnchen
Venue:Notre Dame J. Formal Logic