The Least Fibred Lifting and the Expressivity of Coalgebraic Modal Logic.

Bartek Klin

Browse the full CALCO paper archive.