Discussion of Homotopy Type Theory and Univalent Foundations
 help / color / mirror / Atom feed

end of thread, other threads:[~2023-01-31  1:12 UTC | newest]

Thread overview: 6+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
     [not found] <CAOvivQwi8jXfY6Vx7yrQoBmwj6id8xsPC6fX+8j74cq4V7e+Ug@mail.gmail.com>
2023-01-27 20:40 ` [HoTT] Infinitary type theory Jason Gross
2023-01-28 15:21   ` Nicolai Kraus
2023-01-28 17:45     ` Michael Shulman
2023-01-28 20:26       ` Jason Gross
2023-01-29 11:38         ` András Kovács
2023-01-31  1:11           ` Jason Gross

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