[TYPES/announce] slides on a mathematical theory of substitution

[Marcelo Fiore]

Dear All,

Three sets of slides on a mathematical theory of substitution 
aimed at different audiences may be found at

       <http://www.cl.cam.ac.uk/~mpf23/latest.html> 
under
       <http://www.cl.cam.ac.uk/~mpf23/talks/ICMS2007.pdf>,
       <http://www.cl.cam.ac.uk/~mpf23/talks/MFPS2006.pdf>,
       <http://www.cl.cam.ac.uk/~mpf23/talks/CT2007.pdf>.

Papers will follow.  Best regards, Marcelo.