Probabilistic operational semantics for the lambda calculus.

Ugo Dal Lago Margherita Zorzi

Published in: RAIRO Theor. Informatics Appl. (2012)

Keyphrases

operational semantics
lambda calculus
formal semantics
programming language
mental states
database query languages
data model
predicate calculus
higher order
databases
artificial intelligence
probabilistic reasoning