The Algebraic Intersection Type Unification Problem.

Andrej Dudenhefner Moritz Martens Jakob Rehof

Published in: Log. Methods Comput. Sci. (2017)

Keyphrases

higher order
database
real world
learning algorithm
artificial intelligence
computer vision
high level
image sequences