A Categorical Approach to the Theory of Computation.

Philip S. Mulry

Published in: Ann. Pure Appl. Log. (1989)

Keyphrases

theoretical framework
theoretical basis
general theory
information retrieval
artificial neural networks
linear algebra
formal theory
genetic algorithm
artificial intelligence
database systems
categorical data
mathematical foundations