Effective aspects of Lipschitz functions (0)

by C Freer, B Kjos-Hanssen, A Nies, F Stephan