Loading...
Please wait, while we are loading the content...
Similar Documents
Function spaces for uniformly locally bounded quasi-uniform spaces (1995).
| Content Provider | CiteSeerX |
|---|---|
| Author | Sünderhauf, Philipp |
| Abstract | In a previous paper [Sün95b], we described a function space constructor for complete totally bounded quasi-uniform spaces. The present paper generalizes this construction to the wider class of uniformly locally bounded spaces, which is contained in the class of all completable spaces. Based on this, a refined function space construction is introduced. The latter seems more appropriate for the uniform case and for certain applications in programming semantics. The constructions are well-behaved with regard to uniform local boundedness and completability. |
| File Format | |
| Publisher Date | 1995-01-01 |
| Access Restriction | Open |
| Content Type | Text |
