Geodesic

Volume 36 (2002) no. 2

Sommaire

Preface
p. vii
A fully equational proof of Parikh's theorem
p. 129-153
Semantics of value recursion for monadic input/output
p. 155-180
Feedback, trace and fixed-point semantics
p. 181-194
μ-bicomplete categories and parity games
p. 195-227