[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