Login / Signup
Probabilistic Operational Semantics for the Lambda Calculus
Ugo Dal Lago
Margherita Zorzi
Published in:
CoRR (2011)
Keyphrases
</>
operational semantics
lambda calculus
formal semantics
programming language
mental states
predicate calculus
data model
program understanding
case study
databases
high level
higher order
open source
complex objects