共 11 条
- [1] ESCARDO M, 2001, P 16 ANN IEEE S LOG
- [2] FREYD P, 1999, REAL COALGEBRA POST
- [3] KIWI J, 2001, CONT MATH AM MATH SO, V269
- [4] A FIXPOINT THEOREM FOR COMPLETE CATEGORIES [J]. MATHEMATISCHE ZEITSCHRIFT, 1968, 103 (02) : 151 - &
- [5] LEINSTER T, 2004, MATHDS0411345
- [6] LEINSTER T, UNPUB UNIVERSAL PROP
- [7] LEINSTER T, MATHDS0411344
- [8] MACLANE S, 1971, GRADUATE TEXTS MATH, V5
- [9] MILNOR J, 1999, DYNAMICS 1 COMPLEX V
- [10] The continuum as a final coalgebra [J]. THEORETICAL COMPUTER SCIENCE, 2002, 280 (1-2) : 105 - 122