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
Works matching IS 09601295 AND DT 2003 AND VI 13 AND IP 2
Results: 6
1
2
Generalised coinduction.
- Published in:
- Mathematical Structures in Computer Science, 2003, v. 13, n. 2, p. 321, doi. 10.1017/s0960129502003900
- By:
- Publication type:
- Article
3
Free iterative theories: a coalgebraic view.
- Published in:
- Mathematical Structures in Computer Science, 2003, v. 13, n. 2, p. 259
- By:
- Publication type:
- Article
4
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
5
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
6
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