Login / Signup
A Strong Call-By-Need Calculus.
Thibaut Balabonski
Antoine Lanco
Guillaume Melquiond
Published in:
FSCD (2021)
Keyphrases
</>
data mining
learning algorithm
social networks
image processing
image sequences
similarity measure
reinforcement learning
automated deduction
database query languages