Mathematics Research Communities: Homotopy Type Theory

at.algebraic-topology ct.category-theory lo.logic
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 

Description

none

Problems?

If you notice a problem with this entry, please contact the curators by email.