New paper announcement

Hi to all the frogs readers,

I hope that the workshop in Lisbon was fine. On that topic, for people 
interested, I've just finished an extended version of the paper Lutz has 
presented for me there (thanks again!).

It is still called "The three dimensions of proofs" and is located at the 
following adress (the short one is still available):

http://iml.univ-mrs.fr/~guiraud/recherche/cos1.pdf

Any comments are welcome!

Ciao and enjoy the summer holidays,

Yves