Akitoshi Kawamura Donghyun Lim Svetlana Selivanova Martin Ziegler 0001 Quantitatively Admissible Representations and the "Main Theorem" of Type-2 COMPLEXITY Theory. 2018 abs/1809.08695 CoRR http://arxiv.org/abs/1809.08695 db/journals/corr/corr1809.html#abs-1809-08695