On the computational content of the Lawson topology. - Frédéric De Jaeger; Martín Hötzel Escardó; Gabriele Santini (Theor. Comput. Sci., 2006)