A Typed Lambda-Calculus for Establishing Trust in Probabilistic Programs.

Francesco A. Genco Giuseppe Primiero

Published in: CoRR (2023)

Keyphrases

lambda calculus
programming language
predicate calculus
program understanding
database query languages
higher order
artificial intelligence
source code
model checking
conditional probabilities
fault localization