Coalgebraic logic, Ann (1999)

by L Moss
Venue:Pure Appl. Logic