Soundness of the simply typed lambda calculus in ACL2.

Sol Swords William R. Cook

Published in: ACL2 (2006)

Keyphrases

lambda calculus
programming language
predicate calculus
program understanding
higher order
database query languages
database management systems
complex objects
data model
general purpose
open source