Coherence in category theory and the Church-Rosser property.

Published in: Notre Dame J. Formal Log. (1992)

Keyphrases

information theory
general theory
neural network
theoretical framework
formal theory
real time
real world
artificial intelligence
database systems
digital libraries
multiresolution
theoretical foundation