Login / Signup

A Strong Call-By-Need Calculus.

Thibaut BalabonskiAntoine LancoGuillaume 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