The Theory of Call-by-Value Solvability (long version).

Beniamino Accattoli Giulio Guerrieri

Published in: CoRR (2022)

Keyphrases

lower bound
image segmentation
high level
computational model
theoretical framework
real time
data sets
data mining
decision trees
multi agent
conceptual framework
theoretical basis
speech acts
general theory