Reasonable Space for the λ-Calculus, Logarithmically.

Beniamino Accattoli Ugo Dal Lago Gabriele Vanoni

Published in: LICS (2022)

Keyphrases

information systems
high quality
multiscale
database
computer vision
image sequences
video sequences
natural language
relational databases
active learning
low dimensional
expressive power
higher dimensional