Discussion of Homotopy Type Theory and Univalent Foundations
 help / color / mirror / Atom feed
What is UF, what is HoTT and what is a univalent type theory?
 2016-06-03 19:29 UTC  (5+ messages)
  ` [HoTT] "

Live streaming for the Workshop on Homotopy Type Theory and Univalent Foundations at Fields Insittute
 2016-05-16 13:15 UTC 

Workshop on Foundations of Mathematics: Univalent Foundations and Set Theory (FOMUS), 18-23 July, Bielefeld
 2016-05-16 12:58 UTC 

LC2016: early registration deadline
 2016-05-13 14:35 UTC 

[HoTT] Automorphisms of U
 2014-08-25  8:27 UTC  (2+ messages)

page:              |  | latest

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).