Volume 269, Number 1-2, October 2001
: On the construction of stable models of untyped lambda-calculus.
: An axiomatic semantics for Esterel.
: Wadge hierarchy of omega context-free languages.
: Derivation lengths and order types of Knuth-Bendix orders.
: Numeration systems on a regular language: arithmetic operations, recognizability and formal power series.