Functional Pearl: The Distributive λ-Calculus.

Beniamino Accattoli Alejandro Díaz-Caro

Published in: FLOPS (2020)

Keyphrases

neural network
genetic algorithm
belief revision
causal models
computer algebra
functional verification
information retrieval
search engine
computer vision
multiscale
artificial neural networks
automated theorem proving