RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 37 (2003) no. 4

Sommaire

Preface

Ésik, Zoltán ; Ingólfsdóttir, Anna

p. i

Traced premonoidal categories

Benton, Nick ; Hyland, Martin

p. 273-299

Solving algebraic equations using coalgebra

Marchi, Federico De ; Ghani, Neil ; Lüth, Christoph

p. 301-314

Generalizing substitution

Uustalu, Tarmo

p. 315-336

Domain mu-calculus

Zhang, Guo-Qiang

p. 337-364

On global induction mechanisms in a

μ

Sprenger, Christoph ; Dam, Mads

p. 365-391