Guarded induction on final coalgebras
Dusko ́Pavlovic
Details
| Journal |
E. Notes in Theor. Comp. Sci. |
| Pages |
143–160 |
| Volume |
11 |
| Year |
1998 |
Links
Related pages
|
People |