| |
Algebra Universalis, Vol. 26, No. 3. (21 October 1989), pp. 367-379.
|
| |
|
| |
In Topology and Category Theory in Computer Science (1991), pp. 357-390.
|
| |
In Bayesian Inference and Maximum Entropy Methods in Science and Engineering, Jackson Hole WY, USA
|
| |
: Algebraic and Coalgebraic Methods in the Mathematics of Program Construction: International Summer School and Workshop, Oxford, UK, April 10-14, 2000. Revised Lectures (2002), 203.
|
| |
Informatique Theorique et Applications, Vol. 33, No. 4/5. (1999), pp. 401-426.
|
| |
|
| |
In Algebraic and Coalgebraic Methods in the Mathematics of Program Construction (2000), pp. 309-385.
|
| |
Mathematische Zeitschrift, Vol. V166, No. 2. (1 June 1979), pp. 131-136.
|
| |
|
| |
In Algebraic Logic and Universal Algebra in Computer Science, Vol. 425 (1990)
|
| |
|
| |
|
| |
|
| |
|
| |
Adv. Math., Vol. 121 (1996), pp. 196-244.
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
Topology and its Applications In Topology and its Applications, Vol. 137, No. 1-3. (28 February 2004), pp. 125-158.
|
| |
|
| |
|
| |
|
| |
|
CiteULike
scis0000001's CiteULike
Search
Export
