Canonical forms for initiality
2017-10-20 11:16 UTC (7+ messages)
` [HoTT] "
` [HoTT] "
Questions regarding univalence as generalized extensionality
2017-10-18 22:58 UTC
The Interval type in Hott vs. in real analysis
2017-10-17 20:40 UTC (2+ messages)
` [HoTT] "
A small observation on cumulativity and the failure of initiality
2017-10-16 16:37 UTC (42+ messages)
` [HoTT] "
` SV: "
[HoTT] A small observation on cumulativity and the failure of initiality
2017-10-16 14:12 UTC (3+ messages)
[HoTT] A small observation on cumulativity and the failure of initiality
2017-10-16 10:21 UTC
CFP: ITP 2018
2017-10-15 22:45 UTC
Vladimir Voevodsky
2017-10-14 21:20 UTC (27+ messages)
` [HoTT] "
` [HoTT] "
[HoTT] A small observation on cumulativity and the failure of initiality
2017-10-14 9:55 UTC
an obit of Voevodsky in Quanta Magazine
2017-10-11 21:40 UTC
Voevodsky gathering will be streamed, live
2017-10-11 13:00 UTC (2+ messages)
Research Fellowship at Leeds
2017-10-11 8:35 UTC
A question regarding certain rules
2017-10-10 3:06 UTC (3+ messages)
` [HoTT] "
[UniMath] Vladimir Voevodsky
2017-10-07 6:42 UTC
nytimes obit
2017-10-06 18:43 UTC
Voevodsky obituary
2017-10-04 21:58 UTC (4+ messages)
` [HoTT] "
Open call for papers: Special Issue on Homotopy Type Theory and Univalent Foundations
2017-10-04 13:28 UTC
Gathering in Remembrance of Vladimir Voevodsky, Sunday at IAS
2017-10-04 12:59 UTC
Two positions as Associate professor in mathematics at Stockholm University
2017-09-28 21:38 UTC
First-Order Logic with Isomorphism
2017-09-27 2:49 UTC
Characterizing the equality of Indexed W types
2017-09-13 11:47 UTC (7+ messages)
` [HoTT] "
` Fwd: "
School and workshop on univalent mathematics, 11-15 Dec, Birmingham (UK)
2017-09-01 18:15 UTC
univalence without coherent equivalences
2017-08-14 9:36 UTC (6+ messages)
` [HoTT] "
[HoTT] Native coinductive records for cubical type theory
2017-08-11 9:21 UTC
LFMTP '17 in Oxford this September
2017-08-10 18:48 UTC
HoTT/UF 2017: 2nd Call for Participation
2017-08-10 11:19 UTC
Preprint available: On equality of objects in categories in constructive type theory
2017-08-05 20:26 UTC
cubical type theory with UIP
2017-08-02 9:40 UTC (20+ messages)
` [HoTT] "
` [HoTT] "
Call for Participation: Workshop on HoTT/UF (with FSCD 2017)
2017-07-28 13:16 UTC
Weaker forms of univalence
2017-07-21 7:43 UTC (11+ messages)
` [HoTT] "
Non-enumerability of R
2017-07-18 15:28 UTC (9+ messages)
` [HoTT] "
Univalent Higher Categories via Complete Semi-Segal Types
2017-07-15 11:18 UTC
trivial cofibration-fibration factorization
2017-07-06 20:09 UTC
differential geometry in modal HoTT
2017-06-28 12:22 UTC
Modalities in homotopy type theory
2017-06-28 8:02 UTC
2nd Call for Contributions and Participation: Workshop on HoTT/UF (with FSCD 2017)
2017-06-20 15:07 UTC
Is "classical" Hedberg's Theorem true?
2017-06-20 14:58 UTC
PSSL 101, September 16th-17th, Leeds (UK)
2017-06-19 16:03 UTC
Semantics of higher inductive types
2017-06-08 6:35 UTC (19+ messages)
` [HoTT] "
Logic Colloquium 2017: Call for Registration and Participation ** Deadline for early registration: June 9, 2017 **
2017-06-01 21:27 UTC
Does MLTT have "or"?
2017-05-16 6:20 UTC (9+ messages)
` [HoTT] "
` [HoTT] "
cubical stacks
2017-05-14 22:05 UTC (5+ messages)
` [HoTT] "
Temporary HOTT-positions
2017-05-07 19:42 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).