On a Description of Terminal Coalgebras
β
JiΕΓ AdΓ‘mek
π
Article
π
2003
π
Elsevier Science
π
English
β 187 KB