Guarded induction on final coalgebras

Dettagli Bibliografici
Autore principale: ́Pavlovic, D
Natura: Journal article
Pubblicazione: 1998