[HoTT] TOWARDS A DIRECTED HOMOTOPY TYPE THEORY
2018-08-03 19:07 UTC (2+ messages)
` [HoTT] "
[HoTT] Two Papers on Path Types and Identity Types
2018-08-03 10:33 UTC
HoTT/UF in MSC2020
2018-08-02 5:49 UTC (4+ messages)
` [HoTT] "
[HoTT] Localization in Homotopy Type Theory and status of synthetic homotopy theory in HoTT
2018-07-30 22:14 UTC (2+ messages)
[HoTT] 2nd announcement, Vladimir Voevodsky Memorial Conference
2018-07-25 10:50 UTC
[HoTT] Two PhD Positions in Program Verification
2018-07-25 8:31 UTC
[HoTT] homotopy groups in CCHM cubical type theory
2018-07-20 22:29 UTC (3+ messages)
[HoTT] What is knot in HOTT?
2018-07-20 16:42 UTC (14+ messages)
[HoTT] What is known and/or written about “Frobenius eliminators”?
2018-07-13 11:05 UTC (7+ messages)
` [HoTT] "
[HoTT] Equality in the Model Type Framework
2018-07-05 14:31 UTC (7+ messages)
` [HoTT] "
[HoTT] PhD/Postdoc vacancy: Homotopy type theory and probabilistic programming
2018-07-03 14:41 UTC
[HoTT] Hausdorff HoTT Workshop videos
2018-06-29 15:16 UTC
[HoTT] Agda formalization question
2018-06-26 20:42 UTC (5+ messages)
` [HoTT] "
[HoTT] Preprint - Cubical informal type theory: the higher groupoid structure
2018-06-26 5:34 UTC
[HoTT] is there a categorical construction to generalize arrow composition, by allowing domain and codomain to be refined (or changed) by the composition ?
2018-06-21 19:16 UTC (8+ messages)
` [HoTT] "
Quillen model structure
2018-06-14 21:07 UTC (21+ messages)
` [HoTT] "
` [HoTT] Quillen model structure, PS
Save the date: HoTT 2019
2018-06-08 15:31 UTC
Where is the problem with initiality?
2018-06-06 19:25 UTC (57+ messages)
` [HoTT] "
` [HoTT] "
Autumn school "Proof and Computation"
2018-05-21 21:03 UTC (2+ messages)
Univalence <-> equivalence induction
2018-05-19 19:38 UTC (6+ messages)
` [HoTT] "
Summer Opportunities for Young Researcher
2018-05-16 14:41 UTC
Bishop's work on type theory
2018-05-10 6:35 UTC (16+ messages)
` [HoTT] "
` [HoTT] "
UF-IAS-2012 wiki archived
2018-05-07 11:28 UTC
Martin-Löf '86
2018-05-06 2:09 UTC (4+ messages)
` [HoTT] "
Eckmann-Hilton for triple loop space
2018-05-05 22:05 UTC
A criticism to CIC from the point of view of foundations of mathematics (Voevodsky's argument)
2018-05-02 15:20 UTC (3+ messages)
` [HoTT] "
1st announcement, Vladimir Voevodsky Memorial Conference
2018-04-27 13:57 UTC
PhD Thesis
2018-04-26 21:03 UTC (2+ messages)
Univalence from scratch
2018-04-25 2:10 UTC (11+ messages)
` [HoTT] "
` [HoTT] "
Midwest HoTT Seminar, May 26-27, 2018, University of Western Ontario
2018-04-22 13:57 UTC
postdoc position available in semantics of dynamical systems
2018-04-12 15:05 UTC
Final Call for Contributions: Workshop on Homotopy Type Theory and Univalent Foundations (HoTT/UF'18)
2018-04-08 15:44 UTC
Federated Logic Conference student travel support
2018-03-15 17:30 UTC
Do (co)limits commute with (co)limits?
2018-03-14 19:18 UTC (2+ messages)
` [HoTT] "
LFMTP'18: Logical Frameworks and Meta Languages: Theory and Practice - Call for Papers
2018-03-09 16:03 UTC
Categories with 2-families
2018-03-08 10:11 UTC (9+ messages)
` [HoTT] "
Reminder: From the Fundamental Lemma to Discrete Geometry, to Formal Verification
2018-03-08 1:08 UTC
Extended deadline: Summer School on Types, Sets and Constructions, Bonn, Germany, 3-9 May 2018
2018-03-02 17:56 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).