Bisimulations for probabilistic linear lambda calculi.

Yuxin Deng Yuan Feng

Published in: TASE (2017)

Keyphrases

bayesian networks
generative model
fixed point
linear constraints
machine learning
expert systems
probabilistic model
probabilistic logic
boolean expressions
data sets
neural network
multiscale
information theoretic
closed form