You are looking at the old blog archive. LogBlog has moved to richardzach.org. If you'd like to receive updates on new posts, please subscribe there!
All-around awesome logician colleagues and friends Steve Awodey and Jeremy Avigad have netted a $7.5m, 5-year grant to develop Homotopy Type Theory!
University of Calgary
2500 University Dr. NW
Calgary, Alberta, Canada
Copyright © 2015