locus solum

[Youlian Troyanov]

I have found that JY Girard (the father of linear logic) will release within
the next 2 weeks a preprint covering his latest research - "Locus Solum".
Some
slides from the recent Azores meeting are already available from his ftp
site.

IMHO his research is of fundamental importance for CS. Since some tunes
people
appear to be interested in linear logic and proof nets, I figure this
information
is useful.

Best,
Youlian