Discussion of Homotopy Type Theory and Univalent Foundations
 help / color / mirror / Atom feed
Where is the problem with initiality?
 2018-06-01 22:09 UTC  (42+ 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 

PhD-positions in mathematics at Stockholm University
 2018-03-02 10:42 UTC 

Associate Senior Lecturer/Assistant Professor in Computer Science directed towards Logic of Programs
 2018-03-01 20:14 UTC 

Another variation on the topic of homotopy
 2018-03-01 16:22 UTC 

Two Papers on Lifting Problems and the Small Object Argument
 2018-02-27  4:32 UTC  (2+ messages)

Call for Contributions: Workshop on Homotopy Type Theory and Univalent Foundations (HoTT/UF'18)
 2018-02-18 15:07 UTC 

MacGillavry Fellowship
 2018-02-16 16:07 UTC 

A syntax for higher inductive-inductive types
 2018-02-08 11:23 UTC 

On Higher Inductive Types in Cubical Type Theory
 2018-02-07 16:07 UTC 

Homotopy Type Theory Electronic Seminar Talks
 2018-02-07 14:33 UTC 

Martin Hofmann found dead on Japanese mountain
 2018-02-06  0:00 UTC 

Martin Hofmann rescue fund
 2018-01-31 18:35 UTC 

How to define w types in agda?
 2018-01-26  8:50 UTC  (3+ messages)
` [HoTT] "

Postdoctoral Fellow in Mathematical Logic, Stockholm University
 2018-01-25 17:09 UTC 

Coquand's list of open problems
 2018-01-25 10:23 UTC  (5+ messages)
  ` [HoTT] "

Internal Universes in Models of Homotopy Type Theory
 2018-01-24 13:10 UTC 

Second call for bids to host ITP 2019
 2018-01-18 23:25 UTC 

HoTT/UF in MSC2020
 2018-01-11 10:35 UTC  (3+ messages)
` [HoTT] "

Call for Contributions: Workshop on Homotopy Type Theory and Univalent Foundations (HoTT/UF'18)
 2018-01-10 16:14 UTC 

fully funded graduate positions in Math at UWO
 2018-01-10  1:48 UTC 

Domains XIII workshop call for abstracts
 2018-01-08 18:17 UTC 

computational higher type theory iv
 2018-01-08 15:11 UTC 

Does "adding a path" preserve truncation levels?
 2018-01-05 17:40 UTC  (6+ messages)
` [HoTT] "

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

Postdoc in Logic and Formal Methods at Carnegie Mellon
 2017-12-16 17:54 UTC 

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