Guarded induction on final coalgebras

Номзүйн дэлгэрэнгүй
Үндсэн зохиолч: ́Pavlovic, D
Формат: Journal article
Хэвлэсэн: 1998