Formal Small-Step Verification of a Call-by-Value Lambda Calculus Machine.

Fabian Kunze Gert Smolka Yannick Forster

Published in: APLAS (2018)

Keyphrases

lambda calculus
databases
programming language
model checking
artificial intelligence
high level
formal specification