A Type Theory for Probabilistic λ-calculus.

Alessandra Di Pierro

Published in: From Lambda Calculus to Cybersecurity Through Program Analysis (2020)

Keyphrases

computer algebra
type checking
general theory
bayesian networks
generative model
theoretical framework
probability theory
algebraic structure
multi agent
probabilistic model
database
uncertain data
decision theory
context sensitive
imprecise probabilities
theoretical basis
website
neural network
data sets