Discussion of Homotopy Type Theory and Univalent Foundations
 help / color / mirror / Atom feed
[parent not found: <0e053da6-842b-eeff-e569-aecb478ab88d@inria.fr>]

end of thread, other threads:[~2019-05-06  6:28 UTC | newest]

Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
     [not found] <c283e007-06c1-199e-c078-7b11c451b2a0@inria.fr>
2019-03-22 16:54 ` [HoTT] Call for registration: 11th International School on Rewriting (ISR'19), 1-6 July 2019, MINES ParisTech, France Frédéric Blanqui
     [not found] <0e053da6-842b-eeff-e569-aecb478ab88d@inria.fr>
2019-05-06  6:28 ` 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).