A Mezei-Wright theorem for categorical algebras.

Stephen L. Bloom Zoltán Ésik

Published in: Theor. Comput. Sci. (2010)

Keyphrases

categorical data
von neumann
neural network
machine learning
control system
temporal reasoning
numerical values
artificial intelligence
metadata
lower bound
numerical data
topological spaces
interactive theorem proving