[TYPES/announce] SARL 0.3.0 is released

stephane.galland at utbm.fr stephane.galland at utbm.fr
Mon Nov 30 13:58:31 EST 2015

Previous message: [TYPES/announce] Call for papers: GaLoP 2016
Next message: [TYPES/announce] Reminder - Thematic trimester CIPPMI “Current Issues in the Philosophy of Practice of Mathematics & Informatics”, Toulouse, 4th April - 1st July 2016
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20151130/1619b4d9/attachment.html>

Previous message: [TYPES/announce] Call for papers: GaLoP 2016
Next message: [TYPES/announce] Reminder - Thematic trimester CIPPMI “Current Issues in the Philosophy of Practice of Mathematics & Informatics”, Toulouse, 4th April - 1st July 2016
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Types-announce mailing list