RAIRO - Theoretical Informatics and Applications
Volume 36 / No 2 (April/June 2002)
Fixed Points in Computer Science (FICS'01)
A Fully Equational Proof of Parikh's Theorem p. 129
Published online: 15 December 2002
Semantics of value recursion for Monadic Input/Output p. 155
Published online: 15 December 2002
Feedback, trace and fixed-point semantics p. 181
Published online: 15 December 2002
μ-Bicomplete Categories and Parity Games p. 195
Published online: 15 December 2002