What is UF, what is HoTT and what is a univalent type theory?
2016-06-14 21:46 UTC (19+ messages)
` [HoTT] "
` [HoTT] "
` Fwd: "
How to make software without money
2016-06-13 12:14 UTC (10+ messages)
` [HoTT] "
` [HoTT] "
Workshop on Categorical Logic and Univalent Foundations: Deadline Approaching
2016-06-12 14:51 UTC
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: | prev (newer) | 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).