[TYPES/announce] Oxford July 9: Memorial Corrado Böhm

Mariangiola Dezani dezani at di.unito.it
Fri Jan 12 04:37:32 EST 2018


Inside FLoC 2018 (http://www.floc2018.org/) Henk Barendregt
and Silvio Micali will recall the research activity of Corrado Böhm:

http://www.cs.le.ac.uk/events/fscd2018/bohm.htm <http://www.cs.le.ac.uk/events/fscd2018/bohm.htm>










-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20180112/943d3f8b/attachment.html>


More information about the Types-announce mailing list