...的扩展：从归纳（Inductive）到余归纳（Coinductive）的扩展、从良基集（Well-Founded Set）到非良基集（Non-Well-Founded Set）、 12从代数（algebras）到余代数（Coalgebras）的扩展 。
基于12个网页-相关网页
到非良基集
To the non-good basis set
以上为机器翻译结果，长、整句建议使用 人工翻译 。
应用推荐
模块上移
模块下移
不移动