| |
|
| |
Advances in Mathematics, Vol. 136, No. 1. (01 June 1998), pp. 39-103.
|
| |
Theor. Comput. Sci., Vol. 409, No. 1. (2008), pp. 94-109.
|
| |
Electron. Notes Theor. Comput. Sci., Vol. 203, No. 5. (2008), pp. 263-284.
|
| |
|
| |
Electronic Notes in Theoretical Computer Science, Vol. 106 (11 December 2004), pp. 297-314.
|
| |
|
| |
: Category Seminar In Category Seminar, Vol. 420 (1974), pp. 75-103.
|
| |
Journal of Pure and Applied Algebra, Vol. 2 (1972), pp. 149-168.
|
| |
Inf. Comput., Vol. 204, No. 4. (April 2006), pp. 561-587.
|
| |
Theor. Comput. Sci., Vol. 249, No. 1. (October 2000), pp. 3-80.
|
| |
In Proceedings 4th Workshop on Coalgebraic Methods in Computer Science, CMCS'01, Genova, Italy, 6--7 Apr.\ 2001, Vol. 44(1) (2001)
|
| |
In Conf.\ Record 7th ACM SIGPLAN/SIGARCH and IFIP WG 2.8 Int.\ Conf.\ on Functional Programming Languages and Computer Architecture, FPCA'95, La Jolla, San Diego, CA, USA, 25--28 June 1995 (1995), pp. 324-333.
|
| |
In Proceedings 4th Workshop on Coalgebraic Methods in Computer Science, CMCS'01, Genova, Italy, 6--7 Apr.\ 2001, Vol. 44(1) (2001)
|
| |
In Proceedings 3rd ACM {SIGPLAN} Int.\ Conf.\ on Functional Programming, {ICFP}'98, Baltimore, {MD}, {USA}, 26--29 Sept.\ 1998, Vol. 34(1) (1998), pp. 280-288.
|
| |
Electronic Notes in Theoretical Computer Science In Proceedings of the 22nd Annual Conference on Mathematical Foundations of Programming Semantics (MFPS XXII), Vol. 158 (5 May 2006), pp. 219-236.
|
