[Lecture Notes in Computer Science] Recent Trends in Data Type Specification Volume 906 || Defining equations in terminal coalgebras
- 作者Astesiano, Egidio; Reggio, Gianna; Tarlecki, Andrzej
- 文件大小615.96KB
- 发表时间1995
- DOI10.1007/BFb0014435
- 页码307-318
海量图书期刊资源，随时随地畅享阅读乐趣