Discussion of Homotopy Type Theory and Univalent Foundations
 help / color / mirror / Atom feed
[HoTT] Real Projective space (and other projective spaces too)
 2018-08-19  6:36 UTC  (6+ messages)
` [HoTT] "

[HoTT] 1D Mu Type
 2018-08-18 21:30 UTC 

[HoTT] Localising spheres in HoTT
 2018-08-15  8:51 UTC  (2+ messages)

[HoTT] [FOM] Why Voevodsky was concerned about the foundations of the natural numbers?
 2018-08-08  6:18 UTC 

[HoTT] In memoriam: Vladimir Voevodsky
 2018-08-04 20:36 UTC 

[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  (8+ messages)
` [HoTT] "

page:  |  | 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).