High-level methods for homotopy construction in associative n-categories.

David Reutter, Jamie Vicary

Browse the full LICS paper archive.