Expressive Logics for Coalgebras via Terminal Sequence Induction (2002)

by Dirk Pattinson , D- Mnchen
Venue:Notre Dame J. Formal Logic
Citations:39 - 11 self