public-philoweb@w3.org from December 2014 by thread

Homotopy Type Theory ( HoTT ) henry.story@bblfish.net (Monday, 29 December)

"Brains, Data, and Machine Intelligence" Melvin Carvalho (Sunday, 28 December)

Last message date: Monday, 29 December 2014 21:23:44 UTC