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

end of thread, other threads:[~2021-12-02  9:39 UTC | newest]

Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
     [not found] <1E5CC6E0-9CD8-451D-AA81-C6401EED18C1@nottingham.ac.uk>
2021-12-02  9:16 ` [HoTT] Fwd: 10 PhD studentships in Nottingham Nicolai Kraus
2021-12-02  9:39 ` [HoTT] FW: " Thorsten Altenkirch

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