Modular Termination Checking Theorems for Second-Order Computation.

Published in: CoRR (2019)

Keyphrases

higher order
efficient computation
databases
real time
high order
type checking
data sets
computer vision
image sequences
multi agent
term rewriting
modular neural networks