Parametrised bar recursion: A unifying framework for realizability interpretations of classical dependent choice.

Published in: CoRR (2014)

Keyphrases

main contribution
data streams
framework enables
machine learning
artificial intelligence
image processing
multiscale
multi agent
data structure
multi class
complex objects