[cs at parma seminars] Seminario di Daniele Varacca

[Gianfranco Rossi]

                                             AVVISO DI SEMINARIO

DATA:
     Martedi' 15/6/2004, ore 12:00

RELATORE:
     Daniele Varacca
     Computer Science Department - ENS - Paris

TITOLO
     Nondeterminismo e Probabilita' in Teoria dei Domini

LUOGO:
     Sala riunioni (I piano)
     Dipartimento di Matematica, Universita' di Parma
     C.so M.D'Azeglio 85/A, PARMA


SOMMARIO:

Nella teoria dei domini, il nondeterminismo e' modellato dalla nozione di
dominio potenza, mentre la probabilita' e' modellata dalla nozione di
dominio di valutazioni. Queste costruzioni sono monadi nella categoria dei
domini. Tali monadi non si lasciano combinare facilmente. Noi definiamo la
nozione di dominio delle valutazioni indicizzate che si lascia combinare
con il dominio potenza, ha una caratterizzazione equazionale
e un'interessante interpretazione operazionale.



RIF.:
Gianfranco Rossi
Dipartimento di Matematica
Universita' di Parma
Via M.D'Azeglio, 85/A
43100 PARMA (I)
http://www.math.unipr.it/~gianfr/