Dear All, A transcript of the slides for my CT200t invited talk (with minor revisions and added references) is now available from <http://www.cl.cam.ac.uk/~mpf23/latest.html> . The papers on `Differential Structure in Models of Multiplicative Biadditive Intuitionistic Linear Logic' and `Equational Systems and Free Constructions (with Chung-Kil Hur)' therein might also be of interest. Best regards, Marcelo.