Final coalgebras and the Hennessy-Milner property (0)

by Robert Goldblatt
Venue:Annals of Pure and Applied Logic