The Weak Call-By-Value λ-Calculus is Reasonable for Both Time and Space.

Yannick Forster Fabian Kunze Marc Roth

Published in: CoRR (2019)

Keyphrases

neural network
low dimensional
database
case study
search space
learning algorithm