[HoTT-reading-group] Joyal's HoTT: MIT topology seminar 3/17.

[David Spivak]

Hi all,

Just a heads up that André Joyal is speaking in the MIT topology
seminar<http://www-math.mit.edu/topology/> next
monday in E17-128 at 4:30pm. The topic is HoTT.

David
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.mit.edu/pipermail/hott-reading-group/attachments/20140310/a1b61ad3/attachment.htm