The algebraic theory of recursive program schemes.

Rod M. Burstall James W. Thatcher

Published in: Category Theory Applied to Computation and Control (1974)

Keyphrases

algebraic geometry
computer algebra
general theory
linear algebra
theoretical framework
neural network
algebraic structure
program execution
theoretical basis
information theory
data model
evolutionary algorithm
formal theory
relational databases
information systems
artificial intelligence
database