[HoTT] A unifying cartesian cubical type theory
2019-02-18 15:31 UTC (17+ messages)
` [HoTT] "
[HoTT] "type-theoretic model structures"
2019-02-18 14:32 UTC (2+ messages)
[HoTT] Why do we need judgmental equality?
2019-02-17 21:41 UTC (67+ messages)
` [HoTT] "
` [Agda] "
[HoTT] Question regarding terminology regarding injectivity of objects
2019-02-08 21:06 UTC
[HoTT] Reminder: Workshop on Geometry in Modal Homotopy Type Theory
2019-02-04 15:03 UTC
[HoTT] Announcement: 11th International School on Rewriting (ISR'19), 1-6 July 2019, MINES ParisTech, France
2019-02-01 7:38 UTC
[HoTT] Midlands Graduate School 2019 in the Foundations of Computing Science
2019-02-01 2:04 UTC
[HoTT] CALL FOR SUBMISSIONS: International Conference on Homotopy Type Theory 2019
2019-01-29 17:36 UTC
[HoTT] Defining n-sphere via HIT in cubical Agda
2019-01-27 20:11 UTC
[HoTT] HoTT Electronic Seminar Talks in Spring 2019
2019-01-21 2:35 UTC
[HoTT] HITs in Agda
2019-01-14 22:48 UTC (10+ messages)
` [HoTT] "
[HoTT] HoTT as a classical equivalent of quantum programming (was: What is knot in HOTT?)
2019-01-12 3:22 UTC
[HoTT] Homotopy type of simply connected spaces
2019-01-11 12:01 UTC (4+ messages)
[HoTT] PhD position at the ILLC, University of Amsterdam
2019-01-10 11:43 UTC
[HoTT] The best proof assistant for HoTT from the point of view of automation
2019-01-08 1:54 UTC (5+ messages)
[HoTT] Parametric cubical type theory
2019-01-03 15:00 UTC
[HoTT] Postdoc Position at the University of Minnesota
2019-01-01 2:12 UTC
[HoTT] Category Theory 2019: call for contributions
2018-12-24 15:47 UTC
[HoTT] Quantum Computations and HoTT
2018-12-21 4:10 UTC (4+ messages)
[HoTT] Topology is Combinatorics over Finite Fields
2018-12-20 3:24 UTC
[HoTT] TYPES 2019, 11-14 June 2019, Oslo: Announcement and first call for contributions
2018-12-13 9:55 UTC
[HoTT] SECOND ANNOUNCEMENT: International Conference on Homotopy Type Theory 2019
2018-12-11 23:03 UTC
[HoTT] SYCO 2 Call for Participation
2018-12-06 14:52 UTC
[HoTT] Does (co)homology detect inhabitation?
2018-12-04 23:15 UTC (5+ messages)
` [HoTT] "
[HoTT] A multiplication on the surreal numbers
2018-12-04 19:59 UTC
[HoTT] Second School and Workshop on Univalent Mathematics, Birmingham (UK), April 1-5, 2019
2018-12-04 17:05 UTC
[HoTT] Fwd: Job opening: post-doctoral research and development position at the University of Barcelona
2018-12-03 15:29 UTC
[HoTT] Workshop on Geometry in Modal Homotopy Type Theory
2018-11-26 17:02 UTC
[HoTT] fully funded graduate positions in mathematics at Western
2018-11-18 13:51 UTC (2+ messages)
` [HoTT] Hopf fibrations and computer science
[HoTT] 2019 Doctoral Fellowships in Computer Science at the University of Birmingham, Applications Now Open
2018-11-17 13:04 UTC
[HoTT] Proof that something is an embedding without assuming excluded middle?
2018-11-15 23:38 UTC (12+ messages)
` [HoTT] "
[HoTT] Homotopy Type Theory and Univalent Foundations conference in Oslo
2018-11-14 12:31 UTC
Semantics of higher inductive types
2018-11-12 12:30 UTC (14+ messages)
` [HoTT] "
[HoTT] Final Call for Presentations: Second Symposium on Compositional Structures (SYCO 2)
2018-11-11 11:32 UTC
[HoTT] Computer-generated proofs for the monoidal structure of the smash product
2018-11-09 15:22 UTC (3+ messages)
` [HoTT] "
[HoTT] Precategories, Categories and Univalent categories
2018-11-09 15:06 UTC (45+ messages)
` [HoTT] "
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).