Theoretical Informatics and Applications

Vol. 38 No. 4 (October-December 2004)

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

• Foreword     p. 275
  Zoltán Ésik, Igor Walukiewicz and Special Issue Editors
  Abstract | PDF file (36.4 KB)



• Termination checking with types     p. 277
  Andreas Abel
  Abstract | PDF file (372 KB) | References



• Coproducts of Ideal Monads     p. 321
  Neil Ghani and Tarmo Uustalu
  Abstract | PDF file (292 KB) | References



• Comparing the succinctness of monadic query languages over finite trees     p. 343
  Martin Grohe and Nicole Schweikardt
  Abstract | PDF file (359 KB) | References



• An abstract monadic semantics for value recursion     p. 375
  Eugenio Moggi and Amr Sabry
  Abstract | PDF file (272 KB) | References