Formal Small-step Verification of a Call-by-value Lambda Calculus Machine.

Fabian Kunze Gert Smolka Yannick Forster

Published in: CoRR (2018)

Keyphrases

lambda calculus
model checking
higher order
formal specification
data structure
expert systems
pairwise
relational databases
programming language
formal model
predicate calculus