Lambda Calculus and Probabilistic Computation.

Claudia Faggian Simona Ronchi Della Rocca

Published in: CoRR (2019)

Keyphrases

lambda calculus
programming language
predicate calculus
artificial intelligence
higher order
database query languages
formal model