Document Type

Conference Proceeding

Publication Date

10-2001

Abstract

We study the relationship between convergence spaces and convergence classes given by means of both nets and filters, we consider the duality between them and we identify in convergence terms when a convergence space coincides with a convergence class. We examine the basic operators in the Vienna Development Method of formal systems development, namely, extension, glueing, restriction, removal and override, from the perspective of the Logic for Computable Functions. Thus, we examine in detail the Scott continuity, or otherwise, of these operators when viewed as operators on the domain (X → Y) of partial functions mapping X into Y. The important override operator is not Scott continuous, and we consider topologies defined by convergence classes which rectify this situation.

Comments

Attached is the unpublished, peer-reviewed version of the proceeding. The final publication is available at Springer via http://dx.doi.org/10.1007/978-94-017-1291-0_4.

Presented at the 2nd International Symposium on Domain Theory, Sichuan, China, October 2001.

DOI

10.1007/978-94-017-1291-0_4

Download


Share

COinS