Finality regained: A coalgebraic study of Scott-sets and multisets
暂无分享,去创建一个
[1] Peter Aczel,et al. A Final Coalgebra Theorem , 1989, Category Theory and Computer Science.
[2] A. R. D. Mathias,et al. NON‐WELL‐FOUNDED SETS (CSLI Lecture Notes 14) , 1991 .
[3] Jan J. M. M. Rutten,et al. On the Foundation of Final Semantics: Non-Standard Sets, Metric Spaces, Partial Orders , 1992, REX Workshop.
[4] D. Harrison,et al. Vicious Circles , 1995 .
[5] Lev Gordeev,et al. Basic proof theory , 1998 .
[6] Lawrence S. Moss,et al. Coalgebraic Logic , 1999, Ann. Pure Appl. Log..
[7] Jan J. M. M. Rutten,et al. Universal coalgebra: a theory of systems , 2000, Theor. Comput. Sci..