The algebraic theory of recursive program schemes

• Authors:

• Rod M. Burstall;James W. Thatcher

• Affiliations:

• -;-

• Venue:
• Proceedings of the Proceedings of the First International Symposium on Category Theory Applied to Computation and Control
• Year:
• 1974