nLab
model structure on strict omega-categories (history)

February 8, 2012

July 29, 2011

November 26, 2010