Summary
Homotopy Type Theory TUM/UR
This list is for information about our joint seminar/working group from TUM and Uni Regensburg on Homotopy Type Theory. Please register if you want to receive emails concerning the seminar.
To contact the list owners, use the following email address: hott-owner@lists.lrz.de
You have to sign in to visit the archives of this list.
Subscription / Unsubscription
To subscribe or unsubscribe from this list, please sign in first. If you have not previously signed in, you may need to set up an account with the appropriate email address.