Skip to main content

Guarded induction on final coalgebras

Dusko ́Pavlovic

Journal
E. Notes in Theor. Comp. Sci.
Pages
143–160
Volume
11
Year
1998