The Smash Product of Monoidal Theories.

Amar Hadzihasanovic

Published in: LICS (2021)

Keyphrases

equational theories
hierarchical architecture
life cycle
artificial intelligence
machine learning
decision making
real time
real world
evolutionary algorithm
theoretical framework