On the observational theory of the CPS-calculus.

Published in: Acta Informatica (2010)

Keyphrases

computer algebra
theoretical framework
theoretical basis
general theory
data structure
algebraic structure
database
real world
learning algorithm
search algorithm
evolutionary algorithm