Sign in

A Dependently Typed Linear π-Calculus in Agda.

Luca CicconeLuca Padovani
Published in: PPDP (2020)
Keyphrases
  • higher order
  • databases
  • data sets
  • decision trees
  • piecewise linear
  • quadratic programming
  • lambda calculus
  • image processing
  • multiscale
  • reinforcement learning
  • expert systems
  • evolutionary algorithm
  • least squares