Intersection Types for the lambda-mu Calculus.

Steffen van Bakel Franco Barbanera Ugo de'Liguoro

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

Keyphrases

artificial intelligence
fixed point
data sets
search engine
computer vision
image processing
data structure
multi agent systems