---

Theoretical Informatics and Applications

Vol. 37 No. 4 (October-December 2003)

Special Issue: Fixed Points in Computer Science (FICS'02)

• Foreword
  Zoltàn Ésik and Anna Ingólfsdóttir
  PDF file (25 KB)



• Traced Premonoidal Categories     p. 273
  Nick Benton and Martin Hyland
  Abstract | References | PDF file (234 KB)



• Solving Algebraic Equations Using Coalgebra     p. 301
  Federico De Marchi, Neil Ghani and Christoph Lüth
  Abstract | References | PDF file (157 KB)



• Generalizing Substitution     p. 315
  Tarmo Uustalu
  Abstract | References | PDF file (245 KB)



• Domain mu-calculus     p. 337
  Guo-Qiang Zhang
  Abstract | References | PDF file (324 KB)



• On global induction mechanisms in a -calculus with explicit approximations     p. 365
  Christoph Sprenger and Mads Dam
  Abstract | References | PDF file (266 KB)

---

© EDP Sciences 2003