The weak call-by-value λ-calculus is reasonable for both time and space.

Yannick Forster Fabian Kunze Marc Roth

Published in: Proc. ACM Program. Lang. (2020)

Keyphrases

space time
database
data sets
video sequences
parameter space
real time
databases
computer vision
decision making
three dimensional
high quality
theorem proving
higher dimensional
computer algebra