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

"Brains, Data, and Machine Intelligence"

Homotopy Type Theory ( HoTT )

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