From Modal Logic to Terminal Coalgebras (0)

by M Roiger
Venue:Theoretical Computer Science