[ The Types Forum (announcements only), 
     http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

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.


Reply via email to