1: \begin{thebibliography}{SHLG94}
2:
3: \bibitem[AN80a]{arnold-nivat:tcs}
4: A.~Arnold and M.~Nivat.
5: \newblock Metric interpretations of infinite trees and semantics of
6: nondeterministic recursive programs.
7: \newblock {\em Theoretical Computer Science}, 11:181--205, 1980.
8:
9: \bibitem[AN80b]{arnold-nivat:fi}
10: A.~Arnold and M.~Nivat.
11: \newblock The metric space of infinite trees, algebraic and topological
12: properties.
13: \newblock {\em Fundamenta Informaticae}, 4:445--476, 1980.
14:
15: \bibitem[Arn73]{arnold}
16: V.I. Arnold.
17: \newblock {\em Ordinary Differential Equations}.
18: \newblock MIT Press, 1973.
19:
20: \bibitem[BCSS96]{bcss-manifesto}
21: L.~Blum, F.~Cucker, M.~Shub, and S.~Smale.
22: \newblock Complexity and real computation: A manifesto.
23: \newblock {\em International Journal of Bifurcation and Chaos}, 6 (1):3--26,
24: 1996.
25:
26: \bibitem[BCSS97]{bcss}
27: L.~Blum, F.~Cucker, M.~Shub, and S.~Smale.
28: \newblock {\em Complexity and Real Computation}.
29: \newblock Springer-Verlag, 1997.
30:
31: \bibitem[Bla97]{blanck97}
32: J.~Blanck.
33: \newblock Domain representability of metric spaces.
34: \newblock {\em Annals of Pure \& Applied Logic}, 83:225--247, 1997.
35:
36: \bibitem[Bra97]{brattka97}
37: V.~Brattka.
38: \newblock Order-free recursion on the real numbers.
39: \newblock {\em Mathematical Logic Quarterly}, 43:216--234, 1997.
40:
41: \bibitem[Bra99]{brattka:thesis}
42: V.~Brattka.
43: \newblock {\em Recursive and computable operations over topological
44: structures}.
45: \newblock Ph.d. thesis, FernUniversit\"at Hagen, Fachbereich Informatik, Hagen,
46: Germany, 1999.
47: \newblock Informatik Berichte 255, FernUniversit\"at Hagen, July 1999.
48:
49: \bibitem[BSS89]{bss}
50: L.~Blum, M.~Shub, and S.~Smale.
51: \newblock On a theory of computation and complexity over the real numbers: \
52: np-completeness, recursive functions and universal machines.
53: \newblock {\em Bulletin of the American Mathematical Society}, 21:1--46, 1989.
54:
55: \bibitem[BT80a]{bt80b}
56: J.A. Bergstra and J.V. Tucker.
57: \newblock A characterisation of computable data types by means of a finite
58: equational specification method.
59: \newblock In J.W. de~Bakker and J.~van Leeuwen, editors, {\em 7th International
60: Colloquium on Automata, Languages and Programming, Noordwijkerhout, The
61: Netherlands, July 1980}, volume~85 of {\em Lecture Notes in Computer
62: Science}, pages 76--90. Springer-Verlag, 1980.
63:
64: \bibitem[BT80b]{bt80a}
65: J.A. Bergstra and J.V. Tucker.
66: \newblock A natural data type with a finite equational final semantics
67: specification but no effective equational initial semantics specification.
68: \newblock {\em Bulletin of the European Association for Theoretical Computer
69: Science}, 11:23--33, 1980.
70:
71: \bibitem[BT82]{bt82a}
72: J.A. Bergstra and J.V. Tucker.
73: \newblock The completeness of the algebraic specification methods for data
74: types.
75: \newblock {\em Information \& Control}, 54:186--200, 1982.
76:
77: \bibitem[BT83]{bt83b}
78: J.A. Bergstra and J.V. Tucker.
79: \newblock Initial and final algebra semantics for data type specifications: \
80: two characterization theorems.
81: \newblock {\em SIAM Journal of Computing}, 12:366--387, 1983.
82:
83: \bibitem[BT87]{bt87}
84: J.A. Bergstra and J.V. Tucker.
85: \newblock Algebraic specifications of computable and semicomputable data types.
86: \newblock {\em Theoretical Computer Science}, 50:137--181, 1987.
87:
88: \bibitem[BT95]{bt95}
89: J.A. Bergstra and J.V. Tucker.
90: \newblock Equational specifications, complete term rewriting and computable and
91: semicomputable algebras.
92: \newblock {\em Journal of the Association for Computing Machinery},
93: 42:1194--1230, 1995.
94:
95: \bibitem[dBdV99]{db-devink}
96: J.W. de~Bakker and E.~de~Vink.
97: \newblock {\em Control Flow Semantics}.
98: \newblock The MIT Press, 1999.
99:
100: \bibitem[dBR92]{db-rutten}
101: J.W. de~Bakker and J.J.M.M. Rutten.
102: \newblock {\em Ten Years of Concurrency Semantics}.
103: \newblock World Scientific, 1992.
104:
105: \bibitem[dBZ82]{db-z}
106: J.W. de~Bakker and J.I. Zucker.
107: \newblock Processes and the denotational semantics of concurrency.
108: \newblock {\em Information and Control}, 54:70--120, 1982.
109: \newblock Reprinted, with errata, in {\it Studies in Concurrency Semantics: \
110: Selected Papers of the Amsterdam Concurrency Group\/}, ed\. J.W. de Bakker
111: and J.J.M.M. Rutten, World Scientific Publishing Co\. (1992), 28--80.
112:
113: \bibitem[Eda97]{edalat97}
114: A.~Edalat.
115: \newblock Domains for computation in mathematics, physics and exact real
116: arithmetic.
117: \newblock {\em Bulletin of Symbolic Logic}, 3:401--452, 1997.
118:
119: \bibitem[EM85]{ehrig-mahr}
120: H.~Ehrig and B.~Mahr.
121: \newblock {\em Fundamentals of Algebraic Specification 1}, volume~6 of {\em
122: EATCS Monographs}.
123: \newblock Springer-Verlag, 1985.
124:
125: \bibitem[Eng93]{eng93}
126: E.~Engeler.
127: \newblock {\em Algebraic Properties of Structures}.
128: \newblock World Scientific Publishing Co., 1993.
129:
130: \bibitem[Gen69]{gentzen}
131: G.~Gentzen.
132: \newblock Investigations into logical deduction.
133: \newblock In M.E. Szabo, editor, {\em The Collected Papers of Gerhard Gentzen},
134: pages 68--131. North Holland, 1969.
135:
136: \bibitem[GH78]{guttag-horning}
137: J.V. Guttag and J.J. Horning.
138: \newblock The algebraic specification of abstract data types.
139: \newblock {\em Acta Informatica}, 10:27--52, 1978.
140:
141: \bibitem[GH00]{gaertner-hotz}
142: T.~G\"artner and G.~Hotz.
143: \newblock Recursive analytic functions of a complex variable.
144: \newblock In {\em Computability and Complexity in Analysis: 4th Workshop,
145: Swansea, September 2000}, pages 81--97. Technical Report 272-9/2000,
146: FernUniversit\"at Hagen, 2000.
147:
148: \bibitem[Grz55]{grzeg55}
149: A.~Grzegorczyk.
150: \newblock Computable functions.
151: \newblock {\em Fundamenta Mathematicae}, 42:168--202, 1955.
152:
153: \bibitem[Grz57]{grzeg57}
154: A.~Grzegorczyk.
155: \newblock On the defintions of computable real continuous functions.
156: \newblock {\em Fundamenta Mathematicae}, 44:61--71, 1957.
157:
158: \bibitem[Kle52]{kleene:im}
159: S.C. Kleene.
160: \newblock {\em Introduction to Metamathematics}.
161: \newblock North Holland, 1952.
162:
163: \bibitem[Lac55]{lacombe55}
164: D.~Lacombe.
165: \newblock {\it Extension de la notion de fonction r\'ecursive aux fonctions
166: d'une ou plusieurs variables r\'eelles}, {I}, {II}, {III}.
167: \newblock {\em C.R. Acad. Sci. Paris}, 1955.
168: \newblock 240:2470--2480, 241:13--14,151--153.
169:
170: \bibitem[Mal73]{malcev}
171: A.I. Mal'cev.
172: \newblock {\em Algebraic Systems}, volume 192 of {\em Grundlehren der
173: mathematischen Wissen\-schaf\-ten}.
174: \newblock Springer-Verlag, 1973.
175:
176: \bibitem[MG85]{meseguer-goguen}
177: J.~Meseguer and J.A. Goguen.
178: \newblock Initiality, induction and computability.
179: \newblock In M.~Nivat and J.~Reynolds, editors, {\em Algebraic Methods in
180: Semantics}, pages 459--541. Cambridge University Press, 1985.
181:
182: \bibitem[MM84]{mahr-makowsky}
183: B.~Mahr and J.A. Makowsky.
184: \newblock Characterizing specification languages which admit initial semantics.
185: \newblock {\em Theoretical Computer Science}, 31:49--59, 1984.
186:
187: \bibitem[Mos64]{moscho64}
188: Y.N. Moschovakis.
189: \newblock Recursive metric spaces.
190: \newblock {\em Fundamenta Mathematicae}, 55:215--238, 1964.
191:
192: \bibitem[MT92]{meinke-jvt}
193: K.~Meinke and J.V. Tucker.
194: \newblock Universal algebra.
195: \newblock In S.~Abramsky, D.~Gabbay, and T.~Maibaum, editors, {\em Handbook of
196: Logic in Computer Science}, volume~1, pages 189--411. Oxford University
197: Press, 1992.
198:
199: \bibitem[Niv79]{nivat}
200: M.~Nivat.
201: \newblock Infinite words, infinite trees, infinite computations.
202: \newblock In J.W. de~Bakker and J.~van Leeuwen, editors, {\em Foundations of
203: Computer Science III, part 2: Languages, Logic, Semantics}, volume 109 of
204: {\em Mathematical Centre Tracts}, pages 3--52. Mathematical Centre,
205: Amsterdam, 1979.
206:
207: \bibitem[PER89]{pourel-richards}
208: M.B. Pour-El and J.I. Richards.
209: \newblock {\em Computability in Analysis and Physics}.
210: \newblock Springer-Verlag, 1989.
211:
212: \bibitem[SHLG94]{stolt94}
213: Stoltenberg-Hansen, I.~Lindstr\"om, and E.~Griffor.
214: \newblock {\em Mathematical Theory of Domains}.
215: \newblock Cambridge University Press, 1994.
216:
217: \bibitem[SHT88]{stolt-jvt88}
218: V.~Stoltenberg-Hansen and J.V. Tucker.
219: \newblock Complete local rings as domains.
220: \newblock {\em Journal of Symbolic Logic}, 53:603--624, 1988.
221:
222: \bibitem[SHT91]{stolt-jvt91}
223: V.~Stoltenberg-Hansen and J.V. Tucker.
224: \newblock Algebraic and fixed point equations over inverse limits of algebras.
225: \newblock {\em Theoretical Computer Science}, 87:1--24, 1991.
226:
227: \bibitem[SHT93]{stolt-jvt93}
228: V.~Stoltenberg-Hansen and J.V. Tucker.
229: \newblock Infinite systems of equations over inverse limits and infinite
230: synchronous concurrent algorithms.
231: \newblock In J.W. de~Bakker, W.-P. de~Roever, and G.~Rozenberg, editors, {\em
232: Semantics: Foundations and Applications}, volume 666 of {\em Lecture Notes in
233: Computer Science}, pages 531--562. Springer-Verlag, 1993.
234:
235: \bibitem[SHT95]{stolt-jvt95}
236: V.~Stoltenberg-Hansen and J.V. Tucker.
237: \newblock Effective algebras.
238: \newblock In S.~Abramsky, D.~Gabbay, and T.~Maibaum, editors, {\em Handbook of
239: Logic in Computer Science}, volume~4, pages 357--526. Oxford University
240: Press, 1995.
241:
242: \bibitem[SHT99]{stolt-jvt99:tcs}
243: V.~Stoltenberg-Hansen and J.V. Tucker.
244: \newblock Concrete models of computation for topological algebras.
245: \newblock {\em Theoretical Computer Science}, 219:347--378, 1999.
246:
247: \bibitem[Tak87]{tak}
248: G.~Takeuti.
249: \newblock {\em Proof Theory (2nd ed.)}.
250: \newblock North Holland, 1987.
251:
252: \bibitem[Tuc80]{jvt:cas}
253: J.V. Tucker.
254: \newblock Computing in algebraic systems.
255: \newblock In F.R. Drake and S.S. Wainer, editors, {\em Recursion Theory, its
256: Generalisations and Applications}, volume~45 of {\em London Mathematical
257: Society Lecture Note Series}, pages 215--235. Cambridge University Press,
258: 1980.
259:
260: \bibitem[TZ88]{tz:book}
261: J.V. Tucker and J.I. Zucker.
262: \newblock {\em Program Correctness over Abstract Data Types, with Error-State
263: Semantics}, volume~6 of {\em CWI Monographs}.
264: \newblock North Holland, 1988.
265:
266: \bibitem[TZ91]{tz:ijfocs}
267: J.V. Tucker and J.I. Zucker.
268: \newblock Projections of semicomputable relations on abstract data types.
269: \newblock {\em International Journal of Foundations of Computer Science},
270: 2:267--296, 1991.
271:
272: \bibitem[TZ92]{tz:jlp}
273: J.V. Tucker and J.I. Zucker.
274: \newblock Deterministic and nondeterministic computation, and horn programs, on
275: abstract data types.
276: \newblock {\em Journal of Logic Programming}, 13:23--55, 1992.
277:
278: \bibitem[TZ93]{tz:leeds}
279: J.V. Tucker and J.I. Zucker.
280: \newblock Provable computable selection functions on abstract structures.
281: \newblock In P.~Aczel, H.~Simmons, and S.S. Wainer, editors, {\em Proof
282: Theory}, pages 277--306. Cambridge University Press, 1993.
283:
284: \bibitem[TZ99]{tz:top}
285: J.V. Tucker and J.I. Zucker.
286: \newblock Computation by `while' programs on topological partial algebras.
287: \newblock {\em Theoretical Computer Science}, 219:379--420, 1999.
288:
289: \bibitem[TZ00]{tz:hb}
290: J.V. Tucker and J.I. Zucker.
291: \newblock Computable functions and semicomputable sets on many-sorted algebras.
292: \newblock In S.~Abramsky, D.~Gabbay, and T.~Maibaum, editors, {\em Handbook of
293: Logic in Computer Science}, volume~5, pages 317--523. Oxford University
294: Press, 2000.
295:
296: \bibitem[TZ01a]{tz:abs-conc}
297: J.V. Tucker and J.I. Zucker.
298: \newblock Abstract versus concrete models of computation on partial metric
299: algebras.
300: \newblock In preparation, 2001.
301:
302: \bibitem[TZ01b]{tz:fef}
303: J.V. Tucker and J.I. Zucker.
304: \newblock Infinitary initial algebra specifications for stream algebras.
305: \newblock In W.~Sieg, R.~Sommer, and C.~Talcott, editors, {\em Reflections: A
306: Collection of Essays in Honor of Solomon Feferman}. Association for Symbolic
307: Logic, 2001.
308: \newblock To appear.
309:
310: \bibitem[Wec92]{wechler}
311: W.~Wechler.
312: \newblock {\em Universal Algebra for Computer Scientists}, volume~25 of {\em
313: EATCS Monographs}.
314: \newblock Springer-Verlag, 1992.
315:
316: \bibitem[Wei00]{weih:book}
317: K.~Weihrauch.
318: \newblock {\em Computable Analysis: An Introduction}.
319: \newblock Springer-Verlag, 2000.
320:
321: \end{thebibliography}
322: