Formal SOS-Proofs for the Lambda-Calculus.

Christian Urban Julien Narboux

Published in: LSFA (2008)

Keyphrases

lambda calculus
programming language
predicate calculus
formal model
theorem proving
program understanding
database query languages
database
databases
relational databases
query language
first order logic
expressive power
formal specification