-
3
-
-
0001567307
-
Criteres de compacite dans les espaces fonctionnels generaux
-
A. GROTHENDIECK, Criteres de compacite dans les espaces fonctionnels generaux, Amer. J. Math. 74 (1952), 168-186.
-
(1952)
Amer. J. Math
, vol.74
, pp. 168-186
-
-
Grothendieck, A.1
-
4
-
-
0001466728
-
Nonsymmetric topology
-
1993, Szekszard, Hungary, Colloq. Math. Soc. Janos Bolyai Math. Studies
-
H.P.A. Kunzi, Nonsymmetric topology, In: Proc. Colloquium on topology, 1993, Szekszard, Hungary, Colloq. Math. Soc. Janos Bolyai Math. Studies 4 (1995), 303-338.
-
(1995)
Proc. Colloquium on Topology
, vol.4
, pp. 303-338
-
-
Kunzi, H.P.A.1
-
5
-
-
0040747537
-
Spaces of continuous functions and quasiuniform convergence
-
H.P.A. Kunzi and S. Romaguera, Spaces of continuous functions and quasiuniform convergence, Acta Math. Hungar. 75 (1997), 287-298.
-
(1997)
Acta Math. Hungar
, vol.75
, pp. 287-298
-
-
Kunzi, H.P.A.1
Romaguera, S.2
-
7
-
-
84985322312
-
Left K-completeness in quasi-metric spaces
-
S. Romaguera, Left K-completeness in quasi-metric spaces, Math. Nachr. 157 (1992), 15-23.
-
(1992)
Math. Nachr
, vol.157
, pp. 15-23
-
-
Romaguera, S.1
-
8
-
-
0030509413
-
On hereditary precompactness and completeness in quasi-uniform spaces
-
S. Romaguera, On hereditary precompactness and completeness in quasi-uniform spaces, Acta Math. Hungar. 73 (1996), 159-178.
-
(1996)
Acta Math. Hungar
, vol.73
, pp. 159-178
-
-
Romaguera, S.1
-
9
-
-
0002656211
-
Quasi-metric properties of complexity spaces
-
S. ROMAGUERA and M. Schellekens, Quasi-metric properties of complexity spaces, Topology Appl. 98 (1999), 311-322.
-
(1999)
Topology Appl
, vol.98
, pp. 311-322
-
-
Romaguera, S.1
Schellekens, M.2
-
10
-
-
85023679967
-
-
Duality and quasi-normability for complexity spaces, preprint
-
S. ROMAGUERA and M. Schellekens, Duality and quasi-normability for complexity spaces, preprint.
-
-
-
Romaguera, S.1
Schellekens, M.2
-
11
-
-
19144362927
-
The Smyth completion: A common foundation for denotational semantics and complexity analysis
-
M. Schellekens, The Smyth completion: a common foundation for denotational semantics and complexity analysis, In: Proc. MFPS 11, Electronic Notes in Theoretical Computer Science 1 (1995), 211-232.
-
(1995)
Proc. MFPS 11, Electronic Notes in Theoretical Computer Science 1
, pp. 211-232
-
-
Schellekens, M.1
-
13
-
-
85023662570
-
-
On the dual correspondence between partial metrics and generalized (e)valuation in Domain Theory, preprint
-
M. Schellekens, On the dual correspondence between partial metrics and generalized (e)valuation in Domain Theory, preprint.
-
-
-
Schellekens, M.1
-
14
-
-
85034837164
-
Quasi-uniformities: Reconciling domains with metric spaces
-
M. Main et al. eds.), Springer, Berlin
-
M.B. Smyth, Quasi-uniformities: Reconciling domains with metric spaces, In: Proc. MFPS 3, LNCS 298, (M. Main et al. eds.), Springer, Berlin 1988, 236-253.
-
(1988)
Proc. MFPS 3, LNCS 298
, pp. 236-253
-
-
Smyth, M.B.1
-
15
-
-
0001818543
-
Totally bounded spaces and compact ordered spaces as domains of computation
-
G.M. Reed, A.W. Roscoe and R.F. Wachter, eds.), Clarendon Press, Oxford
-
M.B. Smyth, Totally bounded spaces and compact ordered spaces as domains of computation, In: Topology and Category Theory in Computer Science, (G.M. Reed, A.W. Roscoe and R.F. Wachter, eds.), Clarendon Press, Oxford, 1991, 207-229.
-
(1991)
Topology and Category Theory in Computer Science
, pp. 207-229
-
-
Smyth, M.B.1
-
16
-
-
0003652629
-
Denotational Semantics: The Scott-Strachey approach to Programming Language Theory
-
J. Stoy, Denotational Semantics: the Scott-Strachey approach to Programming Language Theory, MIT Press, 1977.
-
(1977)
MIT Press
-
-
Stoy, J.1
-
17
-
-
0000175193
-
The Smyth-competion of a quasi-uniform space
-
(M. Droste and Y. Gurevich, eds.), 5, Gordon and Breach Sci. Publ
-
Ph. SÜNDERHAUF, The Smyth-competion of a quasi-uniform space, In: Semantics of Programming Languages and Model Theory, Algebra, Logic and Appl. (M. Droste and Y. Gurevich, eds.), 5, Gordon and Breach Sci. Publ., 1993, 189-212.
-
(1993)
Semantics of Programming Languages and Model Theory, Algebra, Logic and Appl
, pp. 189-212
-
-
Sünderhauf, P.H.1
|