Modular construction of complete coalgebraic logics (0)

by C Ĉırstea, D Pattinson
Venue:Theoretical Computer Science