TY - RPRT TI - Comparing hierarchies of total functionals AU - Dag Normann PY - 2005 DO - 10.2168/lmcs-1(2:4)2005 UR - https://arxiv.org/abs/cs/0509019 ID - cs/0509019 ER -