ean Yves,

Patrick Baillot, Jean Yves Marion and myself are editor

of a special edition of TOCL (ACM Transactions on Computational Logic)

devoted to Implicit Computational Complexity (see http://www.loria.fr/~marionjy/tocl.html)

The attached paper:

 Extending the LOOP language with Higher-Order Procedural Variables.

by Crolard, T. , Polonowski, E. and Valarcher, P.

has been submitted.

We kindly ask you to refere this paper. 

The deadline for the report is in within 2 months.

We hope you can accept. 

We can find the instructions to TOCL referees at 

http://www.acm.org/pubs/tocl/referee.html

Thank you in advance for your job

Simona