Baez

Alessio Guglielmi <[email protected]> Mon, 27 Mar 2006 10:11:11 +0000

Newsgroups	gmane.science.mathematics.frogs
Message-ID	<[email protected]>

Hi,

perhaps you might be interested in John Baez popular column this 
week: <http://math.ucr.edu/home/baez/week227.html>.

He talks about the recent big event in Marseille and suggests several 
papers on categories and proof theory, including Yves Guiraud's paper 
on the three dimensions of system SKS: 
<http://iml.univ-mrs.fr/~guiraud/recherche/cos1.pdf>.

Ciao

-Alessio