Guarded induction on final coalgebras

Bibliografiset tiedot
Päätekijä: ́Pavlovic, D
Aineistotyyppi: Journal article
Julkaistu: 1998