Discussion of Homotopy Type Theory and Univalent Foundations
 help / color / mirror / Atom feed
[parent not found: <f379f71c-149f-6a7a-4bc3-807c6e3d50f8@inria.fr>]

end of thread, other threads:[~2019-11-19 21:13 UTC | newest]

Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
     [not found] <be21bec9-742e-ebdc-06a6-689075045c00@inria.fr>
2019-11-19 21:13 ` [HoTT] ICALP-LICS 2020 Call for Workshops Frédéric Blanqui
     [not found] <f379f71c-149f-6a7a-4bc3-807c6e3d50f8@inria.fr>
2019-10-14 13:07 ` Frédéric Blanqui

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