A Type Theory for Strictly Associative Infinity Categories.

Eric Finster Alex Rice Jamie Vicary

Published in: CoRR (2021)

Keyphrases

image segmentation
theoretical basis
decision making
evolutionary algorithm
co occurrence
general theory