Abstract is missing.
- Calculus for categoriesGlynn Winskel. 1
- Parametric corecursion and completely iterative monadsJirí Adámek, Stefan Milius, Jiri Velebil. 2-5
- Coalgebraic approaches to algebraic termsNeil Ghani, Christoph Lüth, Federico De Marchi. 6-8
- Generalizing substitutionTarmo Uustalu. 9-11
- Traced pre-monoidal categoriesNick Benton, Martin Hyland. 12-19
- Kleene through the process algebraic glassLuca Aceto. 20-21
- A note on global induction in a mu-calculus with explicit approximationsChristoph Sprenger, Mads Dam. 22-24
- Model checking knowledge and fixpointsNikolay V. Shilov, Natalya Olegovna Garanina. 25-39
- Strong next-time operators for multiple-valued mu-calculusBenet Devereux. 40-43
- On two letters versus threeDexter Kozen. 44-50
- Kleenean semimodules and linear languagesHans Leiß. 51-53
- Decidable fragments of domain mu-calculus: an automata-theoretic perspectiveGuo-Qiang Zhang. 54-57
- Fixed points on abstract structures without the equality testMargarita V. Korovina. 58-60
- Recursion in the call-by-value lambda-calculusGérard Boudol, Pascal Zimmer. 61-66
- Kleene s (unary) star in nondeterministic contextAnna Labella. 67-68
- Iteration schemes for fixed point calculationThomas P. Jensen, Florimond Ployette, Olivier Ridoux. 69-76
- Congruences of modal µ-algebrasLuigi Santocanale. 77-81