The least fibred lifting and the expressivity of coalgebraic modal logic (2005)

Cached

Download Links

by Bartek Klin
Venue:In Proc. CALCO 2005, volume 3629 of LNCS
Citations:8 - 1 self