On partial recursive definitions and programs

  • Hans-Jürgen Hoehnke
Section B Computation Theory in Category
Part of the Lecture Notes in Computer Science book series (LNCS, volume 56)


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. L. Budach; H.-J. Hoehnke 1975 Automaten und Funktoren, Berlin, 1975.Google Scholar
  2. C. C. Elgot 1973 Monadic computation and iterative algebraic theories, IBM Res. Rep. RC 4564 1973.Google Scholar
  3. H.-J. Hoehnke 1976a On partial algebras, Preprint, Berlin, 1976. (To be published)Google Scholar
  4. 1976b On partial recursive definitions, Preprint, Berlin, 1976.Google Scholar
  5. E. G. Wagner 1974 Notes on categories, algebras and programming languages, From a course of lectures given at Queen Mary College, spring, 1974.Google Scholar
  6. M. Wand 1975 Fixed-point constructions in order-enriched categories, Techn. Rep. No. 23, Indiana Univ., Bloomington, Indiana 47401, April 1975.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1977

Authors and Affiliations

  • Hans-Jürgen Hoehnke
    • 1
  1. 1.Zentralinstitut fur Mathematik und MechanikAkademie der Wissenschaften der DDRBerlinDDR

Personalised recommendations