TY - RPRT TI - Revising Type-2 Computation and Degrees of Discontinuity AU - Martin Ziegler PY - 2006 DO - 10.1016/j.entcs.2006.08.015 UR - https://arxiv.org/abs/cs/0607114 ID - cs/0607114 ER -