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

Michael M tactics40 at gmail.com
Mon Jan 13 15:01:23 EST 2014


Can someone link me to the Google Hangout? I don't have voice, but I'd like
to sit in and listen, if it's not too much trouble.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.mit.edu/pipermail/hott-reading-group/attachments/20140113/bfcc9898/attachment.htm


More information about the HoTT-reading-group mailing list