mathematics subject classification for HoTT
2017-01-26 1:21 UTC
new preprint available
2017-01-19 21:49 UTC (6+ messages)
` [HoTT] "
PhD position at the ILLC, University of Amsterdam
2017-01-10 12:54 UTC
some model categories
2016-12-29 19:38 UTC (2+ messages)
` [HoTT] "
a new paper
2016-12-16 13:30 UTC
CoqPL 2017: Call for Participation [registration is open]
2016-12-08 20:48 UTC
Deadline extension: JAR special issue on HoTT/UF
2016-11-18 23:07 UTC
tenure-track and postdoctoral positions at UWO
2016-11-07 17:21 UTC
fully funded graduate positions in Math at UWO
2016-11-07 16:06 UTC
Is [Equiv Type_i Type_i] contractible?
2016-10-31 22:01 UTC (14+ messages)
` [HoTT] "
` [HoTT] "
` MLTT with proof-relevant judgmental equality?
` [HoTT] "
Connected 1-Types
2016-10-31 15:15 UTC (3+ messages)
` [HoTT] "
HoTT library
2016-10-25 19:23 UTC
Great News from Stockholm
2016-10-24 13:30 UTC
weak univalence with "beta" implies full univalence
2016-10-17 0:58 UTC (8+ messages)
` [HoTT] "
Joyal equivalence II
2016-10-13 23:26 UTC
Joyal's version of the notion of equivalence
2016-10-13 12:48 UTC (14+ messages)
` [HoTT] "
Summer opportunities at the IAS
2016-10-12 22:35 UTC
Math Research Communities on Homotopy Type Theory, June 4-10, 2017, Snowbird UT
2016-10-05 21:44 UTC
The Cayley-Dickson Construction in HoTT
2016-10-05 18:33 UTC
new slides
2016-09-23 19:05 UTC (4+ messages)
` [HoTT] "
CoqPL 2017: Call for Presentations for the Workshop on Coq for Programming Languages
2016-09-22 20:57 UTC
Semantic Success Condition for the definability of Semi-Simplicial Types
2016-09-21 21:56 UTC (6+ messages)
` [HoTT] "
A puzzle about "univalent equality"
2016-09-19 12:40 UTC (18+ messages)
` [HoTT] "
In case you haven’t heard what’s going on in Leicester …
2016-09-16 11:03 UTC
Postdoctoral position in univalent foundations and type theory at the IAS
2016-09-12 14:54 UTC
Meta-conjecture about MLTT
2016-09-12 13:01 UTC (17+ messages)
` [HoTT] "
` [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 (8+ messages)
` [HoTT] "
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
page: next (older) | 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).