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

Marcelo Fiore Marcelo.Fiore at cl.cam.ac.uk
Thu Sep 13 07:48:30 EDT 2007


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.




More information about the Types-announce mailing list