induction on final coalgebras, CMCS’98, B.Jacobs et al eds (1998)

by Guarded
Venue:ENTCS