TY - RPRT TI - Diagonally non-computable functions and fireworks AU - Laurent Bienvenu AU - Ludovic Patey PY - 2016 UR - https://arxiv.org/abs/1411.6846 ID - 1411.6846 ER -