@PHDTHESIS{Gia93, author = {Di Gianantonio, Pietro}, title = {A Functional Approach to Computability on Real Numbers}, school = {Universit\`{a} di Pisa-Genova-Udine}, year = {1993}, type = {Dottorato di ricerca in informatica}, address = {Udine}, month = jun, keywords = {bib,cca,dom} }