Reasonable Space for the λ-Calculus, Logarithmically.

Beniamino Accattoli Ugo Dal Lago Gabriele Vanoni

Published in: CoRR (2022)

Keyphrases

space time
database
higher dimensional
information space
databases
website
real world
information retrieval
computer vision
information systems
high quality
multiscale
input space
sample complexity