A characterization of lambda-terms transforming numerals.

Published in: J. Funct. Program. (2016)

Keyphrases

co occurrence
information retrieval
digital libraries
real time
social networks
information systems
image sequences
multiresolution
language model
handwritten characters