TY  - RPRT
TI  - Arithmetic with Limited Exponentiation
AU  - Dmytro Taranovsky
PY  - 2016
UR  - https://arxiv.org/abs/1612.05941
ID  - 1612.05941
ER  -