Univalent Monoidal Categories.

Kobe Wullaert Ralph Matthes Benedikt Ahrens

Published in: TYPES (2022)

Keyphrases

decision trees
multiresolution
data sets
neural network
information technology
training set
special case
information extraction
equational theories