TY  - RPRT
TI  - Complexity of term representations of finitary functions
AU  - Erhard Aichinger
AU  - Nebojša Mudrinski
AU  - Jakub Opršal
PY  - 2017
DO  - 10.1142/s0218196718500480
UR  - https://arxiv.org/abs/1709.01759
ID  - 1709.01759
ER  -