Spahn a syntactical approach to weak omega-groupoids (history)

November 28, 2012