CS Seminar: Daniele Varacca, June 15, 2004

Speaker

Dr. Daniele Varacca,
Computer Science Department, École Normale Superiéure, Paris, France.

Date and Time

Tuesday, June 15, 2004 at 12:00

Place

Sala Riunioni,
Dipartimento di Matematica, Università di Parma, Via D'Azeglio 85/A, I-43100 Parma

Title

Nondeterminismo e Probabilità in Teoria dei Domini

Abstract

Nella teoria dei domini, il nondeterminismo è modellato dalla nozione di dominio potenza, mentre la probabilità è 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.

Contact Person

Gianfranco Rossi

[Page last updated on January 21, 2013, 08:18:53.]