Subject: Baez
Newsgroups: gmane.science.mathematics.frogs
Date: 2006-03-27 10:11:11 GMT (2 years, 6 weeks, 1 day, 21 hours and 19 minutes ago)
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