Solving Discontinuous Initial Value Problems with Unique Solutions Is Equivalent to Computing over the Transfinite.

Olivier Bournez, Riccardo Gozzi

Browse the full STACS paper archive.