Guarded induction on final coalgebras

Bibliografiska uppgifter
Huvudupphovsman: ́Pavlovic, D
Materialtyp: Journal article
Publicerad: 1998