W3C home
Mailing lists
Public
public-philoweb@w3.org
public-philoweb@w3.org from December 2014
by author
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
henry.story@bblfish.net
Re: Homotopy Type Theory ( HoTT )
(Monday, 29 December)
Homotopy Type Theory ( HoTT )
(Monday, 29 December)
Melvin Carvalho
"Brains, Data, and Machine Intelligence"
(Sunday, 28 December)
Last message date
: Monday, 29 December 2014 21:23:44 UTC