SPEAKER: Giulio Manzonetto

TITLE:  Visser versus Scott

ABSTRACT: In this seminar we show how syntactic and semantic properties
of the programming languages can be shown by topological methods. 
The main tool of this approach is a topology introduced by Visser 
in eighties in an orthogonal way with respect to the Scott topology. 
We also present connections with computability theory and domain theory.