Mathematics Research Communities: Homotopy Type Theory
- Start Date
- 2017-06-04
- End Date
- 2017-06-10
- Institution
- City
- Snowbird Resort, Utah
- Country
- USA
- Meeting Type
- MRC workshop
- Homepage
- http://www.ams.org/programs/research-communities/2017MRC-1
- Contact Name
- Chris Kapulkin
- Created
- Modified
Description
none
Problems?
If you notice a problem with this entry, please contact the curators by email.