A puzzle about "univalent equality"
2016-09-08 9:11 UTC (16+ messages)
` [HoTT] "
weak univalence with "beta" implies full univalence
2016-09-08 7:59 UTC (5+ messages)
` [HoTT] "
Workshop on Categorical Logic and Univalent Foundations: slides available
2016-08-15 21:40 UTC
Cubical sets and the topological topos
2016-08-08 20:08 UTC
Fwd: Fellowship Opportunity for < 5 yrs from PhD - Power of Information
2016-08-07 16:28 UTC
post-doc at Wesleyan
2016-08-05 16:08 UTC
ICMS 2016 most special session slides added
2016-07-28 19:09 UTC
FOMUS slides
2016-07-26 8:07 UTC (11+ messages)
` [HoTT] "
` a new transport rule
` [HoTT] "
CFP: special issue of JAR on HoTT and univalent foundations
2016-07-25 7:54 UTC
What's so great about decidable proof checking?
2016-07-20 20:39 UTC (5+ messages)
` [HoTT] "
Different notions of equality; terminology
2016-07-20 2:45 UTC (17+ messages)
` [HoTT] "
Fwd: [PVS] tenure track position in Theoretical Computer Science
2016-07-08 10:17 UTC
Guarded Cubical Type Theory
2016-06-24 10:43 UTC (3+ messages)
` [HoTT] "
PhD thesis: On the homotopy groups of spheres in homotopy type theory
2016-06-22 1:19 UTC (3+ messages)
` [HoTT] "
Is synthetic the right word?
2016-06-16 21:41 UTC (30+ messages)
` [HoTT] "
What is UF, what is HoTT and what is a univalent type theory?
2016-06-15 3:04 UTC (23+ 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).