---

Theoretical Informatics and Applications

Vol. 36 No. 2 (April-June 2002)

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

• Preface     p. VII
  Anna Labella
  PDF file (20 KB)



• A Fully Equational Proof of Parikh's Theorem     p. 129
  Luca Aceto, Zoltán Ésik and Anna Ingólfsdóttir
  Abstract | References | PDF file (200 KB)



• Semantics of value recursion for Monadic Input/Output     p. 155
  Levent Erkök, John Launchbury and Andrew Moran
  Abstract | References | PDF file (206 KB)



• Feedback, trace and fixed-point semantics     p. 181
  P. Katis, Nicoletta Sabadini and Robert F.C. Walters
  Abstract | References | PDF file (147 KB)



• -Bicomplete Categories and Parity Games     p. 195
  Luigi Santocanale
  Abstract | References | PDF file (368 KB)



• Fixpoints, games and the difference hierarchy    
  Julian C. Bradfield (Theoret. Informatics Appl., volume 37, No. 1 (2003)).

---

© EDP Sciences 2002