-
1
-
-
0001847686
-
Domain theory
-
S. Abramsky, D.M. Gabbay, T.S.E. Maibaum, (Eds.), Clarendon Press, Oxford
-
S. Abramsky, A. Jung, Domain theory, in: S. Abramsky, D.M. Gabbay, T.S.E. Maibaum, (Eds.), Handbook of Logic in Computer Science, vol. 3, Clarendon Press, Oxford, 1994, pp. 1-168.
-
(1994)
Handbook of Logic in Computer Science
, vol.3
, pp. 1-168
-
-
Abramsky, S.1
Jung, A.2
-
2
-
-
0004154231
-
-
Wiley, New York
-
J. Adamek, H. Herrlich, G.E. Strecker, Abstract and Concrete Categories, Wiley, New York, 1990.
-
(1990)
Abstract and Concrete Categories
-
-
Adamek, J.1
Herrlich, H.2
Strecker, G.E.3
-
4
-
-
0029714149
-
Integration in Real PCF
-
New Brunswick, New Jersey, USA, July
-
A. Edalat, M.H. Escardó, Integration in Real PCF (extended abstract), in: Proc. 11th Annual IEEE Symp. on Logic in Computer Science, New Brunswick, New Jersey, USA, July 1996, pp. 382-393.
-
(1996)
Proc. 11th Annual IEEE Symp. on Logic in Computer Science
, pp. 382-393
-
-
Edalat, A.1
Escardó, M.H.2
-
5
-
-
84943288677
-
A domain-theoretic approach to computability on the real line
-
A. Edalat, Ph. Sünderhauf, A domain-theoretic approach to computability on the real line, Theoret. Comput. Sci., this issue.
-
Theoret. Comput. Sci.
, Issue.THIS ISSUE
-
-
Edalat, A.1
Sünderhauf, P.2
-
6
-
-
0004516209
-
Computability concepts for programming languages
-
H. Egli, R.L. Constable, Computability concepts for programming languages, Theoret. Comput. Sci. 2 (1976) 133-145.
-
(1976)
Theoret. Comput. Sci.
, vol.2
, pp. 133-145
-
-
Egli, H.1
Constable, R.L.2
-
7
-
-
0001897066
-
Properly injective spaces and function spaces
-
to appear
-
M.H. Escardó, Properly injective spaces and function spaces, Topology and its Applications 89 (1998) to appear.
-
(1998)
Topology and Its Applications
, vol.89
-
-
Escardó, M.H.1
-
8
-
-
0013257460
-
Induction and recursion on the real line
-
C. Hankin, I. Mackie, R. Nagarajan (Eds.), Theory and Formal Methods 1994, Miller Centre, Cambridge, 11-14 September 1994, IC Press
-
M.H. Escardó, Induction and recursion on the real line, in: C. Hankin, I. Mackie, R. Nagarajan (Eds.), Theory and Formal Methods 1994, Proc. 2nd Imperial College Department of Computing Workshop on Theory and Formal Methods, Miller Centre, Cambridge, 11-14 September 1994, IC Press, 1995, pp. 259-282.
-
(1995)
Proc. 2nd Imperial College Department of Computing Workshop on Theory and Formal Methods
, pp. 259-282
-
-
Escardó, M.H.1
-
9
-
-
0030570676
-
PCF extended with real numbers
-
M.H. Escardó, PCF extended with real numbers, Theoret. Comput. Sci. 162 (1) (1996) 79-115.
-
(1996)
Theoret. Comput. Sci.
, vol.162
, Issue.1
, pp. 79-115
-
-
Escardó, M.H.1
-
10
-
-
0013279285
-
Real PCF extended with ∃ is universal
-
A. Edalat, S. Jourdan, G. McCusker (Eds.), Proc. 3rd Imperial College Workshop, April 1996, Christ Church, Oxford, IC Press
-
M.H. Escardó, Real PCF extended with ∃ is universal, in: A. Edalat, S. Jourdan, G. McCusker (Eds.), Advances in Theory and Formal Methods of Computing. Proc. 3rd Imperial College Workshop, April 1996, Christ Church, Oxford, IC Press, 1996, pp. 13-24.
-
(1996)
Advances in Theory and Formal Methods of Computing
, pp. 13-24
-
-
Escardó, M.H.1
-
11
-
-
0004054172
-
PCF extended with real numbers: A domain-theoretic approach to higher-order exact real number computation
-
Department of Computer Science, University of Edinburgh; 1997; Ph.D. thesis, Imperial College of the University of London
-
M.H. Escardó, PCF extended with real numbers: a domain-theoretic approach to higher-order exact real number computation, Technical Report ECS-LFCS-97-374, Department of Computer Science, University of Edinburgh; 1997; Ph.D. thesis, Imperial College of the University of London, 1997.
-
(1997)
Technical Report ECS-LFCS-97-374
-
-
Escardó, M.H.1
-
12
-
-
0030718789
-
Induction and recursion on the partial real line via biquotients of bifree algebras
-
Warsaw, Poland, June
-
M.H. Escardó, T. Streicher, Induction and recursion on the partial real line via biquotients of bifree algebras (extended abstract), in: Proc. 12th Annual IEEE Symp. on Logic in Computer Science, Warsaw, Poland, June 1997.
-
(1997)
Proc. 12th Annual IEEE Symp. on Logic in Computer Science
-
-
Escardó, M.H.1
Streicher, T.2
-
13
-
-
0006407653
-
A coinduction principle for recursive data types based on bisimulation
-
M.P. Fiore, A coinduction principle for recursive data types based on bisimulation, Inform. Comput. 127 (2) (1996) 186-198.
-
(1996)
Inform. Comput.
, vol.127
, Issue.2
, pp. 186-198
-
-
Fiore, M.P.1
-
14
-
-
0001817272
-
Algebraically complete categories
-
Springer, Berlin
-
P.J. Freyd, Algebraically complete categories, Lecture Notes in Mathematics, vol. 1488 Springer, Berlin, (1991) pp. 95-104.
-
(1991)
Lecture Notes in Mathematics
, vol.1488
, pp. 95-104
-
-
Freyd, P.J.1
-
15
-
-
0001817274
-
Remarks on algebraically compact categories
-
M.P. Fourman, P.T. Johnstone, A.M. Pitts (Eds.), Applications of Categories in Computer Science: Proc. LMS Symp. Durham, 1991, Cambridge University Press, Cambridge
-
P.J. Freyd, Remarks on algebraically compact categories, in: M.P. Fourman, P.T. Johnstone, A.M. Pitts (Eds.), Applications of Categories in Computer Science: Proc. LMS Symp. Durham, 1991, LMS Lecture Notes Series, vol. 177, Cambridge University Press, Cambridge, 1992.
-
(1992)
LMS Lecture Notes Series
, vol.177
-
-
Freyd, P.J.1
-
16
-
-
0004011095
-
-
Springer, New York
-
G. Gierz, K.H. Hofmann, K. Keimel, J.D. Lawson, M. Mislove, D.S. Scott, A Compendium of Continuous Lattices, Springer, New York, 1980.
-
(1980)
A Compendium of Continuous Lattices
-
-
Gierz, G.1
Hofmann, K.H.2
Keimel, K.3
Lawson, J.D.4
Mislove, M.5
Scott, D.S.6
-
17
-
-
84864840163
-
-
Springer, Berlin
-
M.J. Gordon, R. Milner, C.P. Wadsworth, Edinburgh LCF, Lecture Notes in Computer Science, vol. 78, Springer, Berlin, 1979.
-
(1979)
Lecture Notes in Computer Science
, vol.78
-
-
Gordon, M.J.1
Milner, R.2
Wadsworth, C.P.3
Edinburgh, L.C.F.4
-
19
-
-
0347547302
-
When are two effectively given domains identical?
-
K. Weihrauch, (Ed.), Theoretical Computer Science 4th GI Conf.
-
A. Kanda, D. Park, When are two effectively given domains identical? in: K. Weihrauch, (Ed.), Theoretical Computer Science 4th GI Conf., Lecture Notes in Computer Science, 1979.
-
(1979)
Lecture Notes in Computer Science
-
-
Kanda, A.1
Park, D.2
-
20
-
-
0000803927
-
Algebraic specification of data types: A synthetic approach
-
D.J. Lehmann, M.B. Smyth, Algebraic specification of data types: a synthetic approach, Math. System Theory 14 (1981) 97-139.
-
(1981)
Math. System Theory
, vol.14
, pp. 97-139
-
-
Lehmann, D.J.1
Smyth, M.B.2
-
21
-
-
0004293209
-
-
Prentice-Hall, Englewood Cliffs
-
R.E. Moore, Interval Analysis, Prentice-Hall, Englewood Cliffs, 1966.
-
(1966)
Interval Analysis
-
-
Moore, R.E.1
-
22
-
-
0000230630
-
LCF considered as a programming language
-
G. Plotkin, LCF considered as a programming language, Theoret. Comput. Sci. 5 (1) (1977) pp. 223-255.
-
(1977)
Theoret. Comput. Sci.
, vol.5
, Issue.1
, pp. 223-255
-
-
Plotkin, G.1
-
24
-
-
85034538188
-
Domains
-
University of Edinburgh, Department of Computer Science.
-
G. Plotkin, Domains, Post-graduate Lectures in advanced domain theory, University of Edinburgh, Department of Computer Science. http:// ida.dcs.qmw.ac.uk/ sites/ other/ domain.notes.other, 1980.
-
(1980)
Post-graduate Lectures in Advanced Domain Theory
-
-
Plotkin, G.1
-
25
-
-
0011642118
-
Basic category theory
-
S. Abramsky, D.M. Gabbay, T.S.E. Maibaum (Eds.), Clarendon Press, Oxford
-
A. Poigné, Basic category theory, in: S. Abramsky, D.M. Gabbay, T.S.E. Maibaum (Eds.), Handbook of Logic in Computer Science, vol. 1, Clarendon Press, Oxford, 1992, pp. 413-640.
-
(1992)
Handbook of Logic in Computer Science
, vol.1
, pp. 413-640
-
-
Poigné, A.1
-
27
-
-
0001995203
-
Continuous lattices
-
F.W. Lawvere (Ed.), Toposes, Algebraic Geometry and Logic, Springer, Berlin
-
D.S. Scott, Continuous lattices, in: F.W. Lawvere (Ed.), Toposes, Algebraic Geometry and Logic, vol. 274 Lectures Notes in Mathematics, Springer, Berlin, 1972, pp. 97-136.
-
(1972)
Lectures Notes in Mathematics
, vol.274
, pp. 97-136
-
-
Scott, D.S.1
-
28
-
-
0041896603
-
Lattice theory, data types and semantics
-
Prentice-Hall, Englewood Cliffs
-
D.S. Scott, Lattice theory, data types and semantics, Formal semantics of programming languages, Prentice-Hall, Englewood Cliffs, 1972, pp. 66-106.
-
(1972)
Formal Semantics of Programming Languages
, pp. 66-106
-
-
Scott, D.S.1
-
29
-
-
0027910876
-
A type-theoretical alternative to CUCH, ISWIM and OWHY
-
reprint a manuscript produced in 1969
-
D.S. Scott, A type-theoretical alternative to CUCH, ISWIM and OWHY, Theoret. Comput. Sci. 121 (1993) 411-440. (reprint a manuscript produced in 1969).
-
(1993)
Theoret. Comput. Sci.
, vol.121
, pp. 411-440
-
-
Scott, D.S.1
-
30
-
-
0003275966
-
Effectively given domains
-
M.B. Smyth, Effectively given domains, Theoret. Comput. Sci. 5 (1) (1977) 256-274.
-
(1977)
Theoret. Comput. Sci.
, vol.5
, Issue.1
, pp. 256-274
-
-
Smyth, M.B.1
-
31
-
-
0021011078
-
Power domains and predicate transformers: A topological view
-
J. Diaz (Ed.) Automata, Languages and Programming, Springer, Berlin
-
M.B. Smyth, Power domains and predicate transformers: a topological view, in: J. Diaz (Ed.) Automata, Languages and Programming, Lecture Notes in Computer Science, Springer, Berlin, 1983, pp. 662-675.
-
(1983)
Lecture Notes in Computer Science
, pp. 662-675
-
-
Smyth, M.B.1
-
32
-
-
0347534612
-
I-categories and duality
-
M.P. Fourman, P.T. Johnstone, A.M. Pitts (Eds.) Applications of Categories in Computer Science, Cambridge, 1992, Cambridge University Press, London
-
M.B. Smyth, I-categories and duality, in: M.P. Fourman, P.T. Johnstone, A.M. Pitts (Eds.) Applications of Categories in Computer Science, Cambridge, 1992, Mathematical Society Lecture Notes Series 177, Cambridge University Press, London, pp. 270-287.
-
Mathematical Society Lecture Notes Series
, vol.177
, pp. 270-287
-
-
Smyth, M.B.1
-
33
-
-
0001744565
-
Topology
-
S. Abramsky, D.M. Gabbay, T.S.E. Maibaum, (Eds.), Clarendon Press, Oxford
-
M.B. Smyth, Topology, in: S. Abramsky, D.M. Gabbay, T.S.E. Maibaum, (Eds.), Handbook of Logic in Computer Science, vol. 1, Clarendon Press, Oxford, 1992, pp. 641-761.
-
(1992)
Handbook of Logic in Computer Science
, vol.1
, pp. 641-761
-
-
Smyth, M.B.1
-
34
-
-
0000874096
-
The category-theoretic solution of recursive domain equations
-
M.B. Smyth, G. Plotkin, The category-theoretic solution of recursive domain equations, SIAM J. Comput. 11 (4) (1982) 761-783.
-
(1982)
SIAM J. Comput.
, vol.11
, Issue.4
, pp. 761-783
-
-
Smyth, M.B.1
Plotkin, G.2
-
36
-
-
84973989812
-
A universality theorem for PCF with recursive types, parallel-or and ∃
-
T. Streicher, A universality theorem for PCF with recursive types, parallel-or and ∃, Math. Struct. Comput. Sci. 4 (1) (1994) 111-115.
-
(1994)
Math. Struct. Comput. Sci.
, vol.4
, Issue.1
, pp. 111-115
-
-
Streicher, T.1
|