Functional Pearl: The Distributive λ-Calculus.

Beniamino Accattoli Alejandro Díaz-Caro

Published in: CoRR (2020)

Keyphrases

general theory
causal models
data sets
learning algorithm
artificial intelligence
image processing
clustering algorithm
multi agent
search algorithm
artificial neural networks
programming language
belief revision
provably correct
functional properties