Works matching IS 09601295 AND DT 2003 AND VI 13 AND IP 2
Results: 6
Free iterative theories: a coalgebraic view.
- Published in:
- Mathematical Structures in Computer Science, 2003, v. 13, n. 2, p. 259
- By:
- Publication type:
- Article
Dualising initial algebras.
- Published in:
- Mathematical Structures in Computer Science, 2003, v. 13, n. 2, p. 349, doi. 10.1017/s0960129502003912
- By:
- Publication type:
- Article
Generalised coinduction.
- Published in:
- Mathematical Structures in Computer Science, 2003, v. 13, n. 2, p. 321, doi. 10.1017/s0960129502003900
- By:
- Publication type:
- Article
Modal operators and the formal dual of Birkhoff's completeness theorem This research is part of the Logic of Types and Computation project at Carnegie Mellon University under the direction of Dana Scott.
- Published in:
- Mathematical Structures in Computer Science, 2003, v. 13, n. 2, p. 233, doi. 10.1017/s0960129502003894
- By:
- Publication type:
- Article
On varieties and covarieties in a category.
- Published in:
- Mathematical Structures in Computer Science, 2003, v. 13, n. 2, p. 201
- By:
- Publication type:
- Article
Preface to Special Issue: Coalgebraic methods in computer science.
- Published in:
- Mathematical Structures in Computer Science, 2003, v. 13, n. 2, p. 199, doi. 10.1017/s0960129502003870
- By:
- Publication type:
- Article