Coalgebraic logic. Annals of Pure and (1999)

by L Moss
Venue:Applied Logic