Login / Signup

Data structures for quasistrict higher categories.

Krzysztof BarJamie Vicary
Published in: LICS (2017)
Keyphrases