Coalgebraic Correspondence Theory.

Lutz Schrder, Dirk Pattinson

Browse the full FOSSACS paper archive.