Evaluating Linear Functions to Symmetric Monoidal Categories.

Jean-Philippe Bernardy Arnaud Spiwack

Published in: CoRR (2021)

Keyphrases

linear functions
upper bound
boolean functions
equational theories
active learning
learning problems
knapsack problem
uniform distribution
heavy hitters