Wed, 27 Sep 2000 14:46:55 -0400
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".
slides from the recent Azores meeting are already available from his ftp
IMHO his research is of fundamental importance for CS. Since some tunes
appear to be interested in linear logic and proof nets, I figure this