Monthly Archives: November 2017
HoTT at JMM
At the 2018 U.S. Joint Mathematics Meetings in San Diego, there will be an AMS special session about homotopy type theory. It’s a continuation of the HoTT MRC that took place this summer, organized by some of the participants to … Continue reading
Posted in News, Publicity
Leave a comment