Geodesic

Volume 37 (2003) no. 4

Sommaire

Preface
p. i
Traced premonoidal categories
p. 273-299
Solving algebraic equations using coalgebra
p. 301-314
Generalizing substitution
p. 315-336
Domain mu-calculus
p. 337-364
On global induction mechanisms in a μ-calculus with explicit approximations
p. 365-391