A Dependently Typed Linear π-Calculus in Agda.

Luca Ciccone Luca 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