Table of contents
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
© EDP Sciences 2004



Table of contents 