Guarded induction on final coalgebras

Detaylı Bibliyografya
Yazar: ́Pavlovic, D
Materyal Türü: Journal article
Baskı/Yayın Bilgisi: 1998