Uniform Interpolation for Coalgebraic Fixpoint Logic.

Johannes Marti, Fatemeh Seifan, Yde Venema

Browse the full CALCO paper archive.