Login / Signup

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

David ReutterJamie Vicary
Published in: LICS (2019)
Keyphrases