HoTT in Lean 3
2017-12-27 18:13 UTC (3+ messages)
` [HoTT] "
Impredicative set + function extensionality + proof irrelevance consistent?
2017-12-23 0:25 UTC (54+ messages)
` [HoTT] "
Yet another characterization of univalence
2017-12-20 20:46 UTC (16+ messages)
` [HoTT] "
Postdoc in Logic and Formal Methods at Carnegie Mellon
2017-12-16 17:54 UTC
computational higher type theory iii and cartesian cubical formal type theory
2017-12-06 1:54 UTC
postdoctoral positions at the University of Western Ontario
2017-11-27 2:04 UTC
PhD positions at CMU
2017-11-20 3:12 UTC
PhD positions available in Birmingham, UK
2017-11-19 20:17 UTC
Conference in honor of Thomas C. Hales: "From the Fundamental Lemma to Discrete Geometry, to Formal Verification", June 18-22, 2018 at the University of Pittsburgh
2017-11-17 18:50 UTC
AMS Special Session on Homotopy Type Theory at the JMM
2017-11-13 21:40 UTC
Voevodsky obituary in Nature
2017-11-07 23:11 UTC (4+ messages)
` [HoTT] "
Define transport as the primitive operation of cubicaltt and derive composition from it?
2017-11-05 15:09 UTC (2+ messages)
Canonical forms for initiality
2017-10-30 9:52 UTC (8+ messages)
` [HoTT] "
` [HoTT] "
Definition of semantic composition in CCHM cubical type theory
2017-10-24 12:40 UTC (2+ messages)
` [HoTT] "
Voevodsky's unpublished works
2017-10-20 23:55 UTC
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
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).