Guarded induction on final coalgebras

Opis bibliograficzny
1. autor: ́Pavlovic, D
Format: Journal article
Wydane: 1998