Preview
Unable to display preview. Download preview PDF.
References
ALAGIĆ, S., Algebraic aspects of ALGOL 68, Comp. and Inform. Science, Techn. Rep. 73 B-5, Univ. of Mass., 1973
ELGOT, C.C., Monadic computation and iterative algebraic theories, IBM research report RC 4564, Yorktown Heights 1973
FREYD, P.J., Aspects of topoi, Bull. Austr. Math. Soc. 7 (1972), 1–76
GOGUEN, J.A.jr., On homomorphisms, correctness, termination, unfoldments and equivalence of flow diagram programs, preprint 1973
JOYAL, A., Arithmetic universes, talk at the Oberwolfach Conf. on Category Theory 1973
LAWVERE, F.W., Functorial Semantics of Algebraic Theories, Proc. Nat. Acad. Sci. USA 50 (1963), 869–873
VOLGER, H., Logical categories, semantical categories and topoi, preprint 1973
WAGNER, E.G., An algebraic theory of recursive definitions and recursive languages, Proc. 3rd ACM Symp. Th. Comp. (1971), 12–23
WAND, M., A concrete approach to abstract recursive definitions, Artif. Intell. Memo No. 262
VAN DE WAUW-DE KINDER GODELIÈVE, Some properties of the natural number object in a topos, Talk at the Oberwolfach Conf. on Category Theory 1973.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1975 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ehrig, H., Kühnel, W., Pfender, M. (1975). Diagram-characterization of recursion. In: Manes, E.G. (eds) Category Theory Applied to Computation and Control. Lecture Notes in Computer Science, vol 25. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-07142-3_73
Download citation
DOI: https://doi.org/10.1007/3-540-07142-3_73
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-07142-6
Online ISBN: 978-3-540-37426-8
eBook Packages: Springer Book Archive