Mathematical Theory of Domains

La teoria dei domini è una parte consolidata dell'informatica teorica utilizzata per dare semantica ai linguaggi di programmazione e alla logica. In matematica e logica si è dimostrato utile anche nello studio degli algoritmi. Questo libro è dedicato a fornire una trattazione unificata e autonoma dell'argomento. La teoria è presentata in modo matematicamente preciso e tuttavia accessibile sia ai matematici che agli informatici. Gli autori iniziano con la teoria di base, comprese le equazioni di dominio, le varie rappresentazioni di dominio e i domini universali. Si procede poi ad argomenti più specialistici come i domini effettivi e di potenza, i modelli di lambda-calcolo e così via. In particolare, le connessioni con gli spazi ultrametrici e i funzionali continui di KleeneâKreisel sono resi precisi. Di conseguenza, il testo sarà utile come libro di testo introduttivo (le versioni precedenti sono state testate in classe a Uppsala, Göteborg, Passau, Monaco di Baviera e Swansea) o come riferimento generale per i professionisti dell'informatica e della logica. Lingua: Inglese