Séminaire Marelle : Effective and sequential definition by cases on the reals via infinite signed-digit numerals by M. Escardo

Sorry, this entry is only available in French.