Contributions offered by Giuseppe Rosolini for topics 
D (verification methods)

I can give an overview of the models of Synthetic Domain Theory and
how they encompass the classical notions of domains for program
semantics.

--------------------------------------------------------------
Result of feedback form submitted by
Rosolini (rosolini@disi.unige.it) on Wednesday, July 15, 1998 at 19:22:2