A note on confluence in typed probabilistic lambda calculi.

Rafael Romero Alejandro Díaz-Caro

Published in: CoRR (2021)

Keyphrases

lambda calculus
bayesian networks
higher order
probabilistic model
data driven
probabilistic logic
probabilistic approaches
programming language
logic programming
information theoretic
fixed point
probabilistic reasoning