Preview
Unable to display preview. Download preview PDF.
References
L. Budach; H.-J. Hoehnke 1975 Automaten und Funktoren, Berlin, 1975.
C. C. Elgot 1973 Monadic computation and iterative algebraic theories, IBM Res. Rep. RC 4564 1973.
H.-J. Hoehnke 1976a On partial algebras, Preprint, Berlin, 1976. (To be published)
1976b On partial recursive definitions, Preprint, Berlin, 1976.
E. G. Wagner 1974 Notes on categories, algebras and programming languages, From a course of lectures given at Queen Mary College, spring, 1974.
M. Wand 1975 Fixed-point constructions in order-enriched categories, Techn. Rep. No. 23, Indiana Univ., Bloomington, Indiana 47401, April 1975.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1977 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Hoehnke, HJ. (1977). On partial recursive definitions and programs. In: Karpiński, M. (eds) Fundamentals of Computation Theory. FCT 1977. Lecture Notes in Computer Science, vol 56. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-08442-8_93
Download citation
DOI: https://doi.org/10.1007/3-540-08442-8_93
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-08442-6
Online ISBN: 978-3-540-37084-0
eBook Packages: Springer Book Archive