Preprint announcement

Hi everyone,

I've finally managed to write something down about the interpretation of 
CoS-style proofs as 3-dimensional objects.

There, you can download the preprint:
http://iml.univ-mrs.fr/~guiraud/recherche/cos.pdf

This is only something informal, with no results, only ideas and 
intuitions (and 3-dimensional stuff... near the end...)

Comments/criticism/screams/throat clearings/etc. are welcome!

By the way, there are some additional (old) notes on my page on various 
subjects, for the ones that have already lurked around there.

Bye toads... err... frogs scientists!

Yves

PS : Alessio, would you agree to create a link on the webpage?