Discrete Lawvere theories and computational effects.

Martin Hyland John Power

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

Keyphrases

computational models
computational systems
theoretical framework
machine learning
artificial intelligence
information systems
multiscale
optimal solution
complex systems
finite number