TY - RPRT TI - A note on invariant temporal functions AU - Olaf Müller PY - 2016 DO - 10.1007/s11005-016-0850-x UR - https://arxiv.org/abs/1502.02716 ID - 1502.02716 ER -