Proof nets and the call-by-value lambda-calculus

Beniamino Accattoli

Published in: LSFA (2012)

Keyphrases

lambda calculus
programming language
predicate calculus
theorem proving
program understanding
general purpose
higher order
database applications
complex objects
formal model
theorem prover