Coalgebraic up-to techniques (0)

by Damien Pous
Venue:In Heckel and Milius