[HoTT-reading-group] HoTT-reading-group Digest, Vol 2, Issue 5

Michael M tactics40 at gmail.com
Mon Jan 20 15:05:09 EST 2014


Can someone link me to the Google Hangout?

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.mit.edu/pipermail/hott-reading-group/attachments/20140120/85984cc8/attachment.htm


More information about the HoTT-reading-group mailing list