Guarded Induction on Final Coalgebras," in B. Jacobs et al (eds (1998)

by D Pavlovi'c
Venue:Proc. Coalgebraic Methods in Computer Science, ENTCS vol.18