Revues
Séminaires
Livres
Notes de cours
Thèses
Auteurs
OFF
Revues
Séminaires
Livres
Notes de cours
Thèses
Auteurs
Tout
Tout
Auteur
Titre
Bibliographie
Mots clés
Plein texte
Rechercher
NOT
Entre
et
Auteur
Tout
Auteur
Titre
Date
Bibliographie
Mots clés
Plein texte
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Tome 36 (2002)
no. 2
Sommaire
Preface
Labella, Anna
p. vii
A fully equational proof of Parikh's theorem
Aceto, Luca
;
Ésik, Zoltán
;
Ingólfsdóttir, Anna
p. 129-153
Semantics of value recursion for monadic input/output
Erkök, Levent
;
Launchbury, John
;
Moran, Andrew
p. 155-180
Feedback, trace and fixed-point semantics
Katis, P.
;
Sabadini, Nicoletta
;
Walters, Robert F. C.
p. 181-194
μ
-bicomplete categories and parity games
Santocanale, Luigi
p. 195-227