Monadic Computation And Iterative Algebraic Theories

This publication has 5 references indexed in Scilit:

• Automata in general algebras
  Information and Control, 1967
• FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
  Proceedings of the National Academy of Sciences, 1963
• Computability of Recursive Functions
  Journal of the ACM, 1963
• On Computable Numbers, with an Application to the Entscheidungsproblem
  Proceedings of the London Mathematical Society, 1937
• Finite combinatory processes—formulation
  The Journal of Symbolic Logic, 1936