Implicative algebras: a new foundation for realizability and forcing.

Alexandre Miquel

Published in: Math. Struct. Comput. Sci. (2020)

Keyphrases

data sets
theoretical foundation
information retrieval
video sequences
computer vision
decision making
image processing
spatial reasoning