W3C home
Mailing lists
Public
public-philoweb@w3.org
public-philoweb@w3.org from December 2014
by date
3 messages
:
Starting
Sunday, 28 December 2014 08:30:13 UTC,
Ending
Monday, 29 December 2014 21:23:44 UTC
Sort by
:
thread
author
date
subject
Mail actions
:
mail a new topic
Help
:
how to use the archives
search the archives
Monday, 29 December 2014
Re: Homotopy Type Theory ( HoTT )
henry.story@bblfish.net
Homotopy Type Theory ( HoTT )
henry.story@bblfish.net
Sunday, 28 December 2014
"Brains, Data, and Machine Intelligence"
Melvin Carvalho
Last message date
: Monday, 29 December 2014 21:23:44 UTC