Is Impredicativity Implicitly Implicit?

Stefan Monnier Nathaniel Bos

Published in: TYPES (2019)

Keyphrases

web search
artificial intelligence
case study
data structure
data sets
data mining
computer vision
information systems
similarity measure
object recognition
input image
response time