Coalgebras and modal logics for parameterised endofunctors (2000)

Cached

Download Links

by Alexander Kurz , Dirk Pattinson
Citations:3 - 3 self