Expressive logics for coalgebras via terminal sequence induction (0)

by D Pattinson
Venue:Notre Dame Journal of Formal Logic