This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
Curien, P.-L. & Obtułowicz, A. [1986] Partiality and cartesian closedness, typescript, 1986
DiPaola, R. & Heller, A. [1986] Dominical categories, to appear in Journ. Symb. Logic, 1986
Eilenberg, S. & Kelly, G.M. [1966] Closed categories, in Proceedings of the Conference on Categorical Algebra (edited by S. Eilenberg, D.K. Harrison, S. MacLane & H. Röhrl), Springer-Verlag, Berlin (1966) 421–562
Eršov, Ju.L. [1973] Theorie der Numerierungen I, in Zeitschrift für Math. Log. (4) 19 (1973) 289–388
Heller, A. [1985] Dominical categories and recursion theory, in Atti della Scuola di Logica 2, Università di Siena (1985) 339–344
Hoehnke, H.J. [1977] On partial algebras, in Col. Math. Soc. J. Bolyai 29 (1977) 373–412
Hyland, J.M.E. [1982] The effective topos in The L.E.J. Brouwer Centenary Symposium (edited by A.S. Troelstra & D. van Dalen), North-Holland Publishing Company, Amsterdam (1982) 165–216
Longo, G. & Moggi, E. [1984] Cartesian closed categories and partial morphisms for effective type structures, in International Symposium on Semantics of Data Types (edited by G. Kahn, D.B. McQueen & G. Plotkin), Lecture Notes in Computer Science 173, Springer-Verlag, Berlin (1984) 235–255
McCarty, D.C. [1984] Realizability and Recursive Mathematics, D.Phil. thesis, University of Oxford, 1984
Mulry, P. [1981] Generalised Banach-Mazur functionals in the topos of recursive sets, in J. Pure Appl. Alg. 26 (1981) 71–83
Obtułowicz, A. [1986] The logic of categories of partial functions and its applications, in Diss. Math. 141 (1986)
Plotkin, G. [1985] Denotational Semantics with Partial Functions, Lectures at the C.S.L.I. Summer School, Stanford, July1985
Plotkin, G.D. & Smyth, M.B. [1982] The category-theoretic solution of recursive domain equations, in SIAM J. Comp. 11 (1982) 761–783
Robinson, E.P. & Rosolini, G. [1986] Categories of partial maps, Quaderno del Dipartimento di Matematica 18, Università di Parma, 1986
Rosolini, G. [1986] Continuity and effectiveness in topoi, D.Phil. thesis, University of Oxford, 1986
Scott, D.S. [1982] Domains for denotational sematics, in Automata, Languages and Programming, Ninth Colloquium, Arahus, Denmark (edited by M. Nielsen & E.M. Schmidt), Lecture Notes in Computer Science 140, Springer-Verlag, Berlin (1982) 677–718
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1987 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Rosolini, G. (1987). Categories and effective computations. In: Pitt, D.H., Poigné, A., Rydeheard, D.E. (eds) Category Theory and Computer Science. Lecture Notes in Computer Science, vol 283. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-18508-9_17
Download citation
DOI: https://doi.org/10.1007/3-540-18508-9_17
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-18508-6
Online ISBN: 978-3-540-48006-8
eBook Packages: Springer Book Archive