Logic of computational semi-effects and categorical gluing for equivariant functors.

Yuichi Nishiwaki Toshiya Asai

Published in: CoRR (2020)

Keyphrases

modal logic
data sets
multiresolution
computational power
classical logic
neural network
artificial intelligence
evolutionary algorithm
temporal logic
categorical data