Journals
Seminars
Books
Lecture notes
Theses
Authors
OFF
Journals
Seminars
Books
Lecture notes
Theses
Authors
All
All
Author
Title
References
Keywords
Full text
Search
NOT
Between
and
Author
All
Author
Title
Date
References
Keywords
Full text
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Volume 36 (2002)
no. 2
Table of contents
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