Termination of lambda-calculus with the extra Call-By-Value rule known as assoc

Stéphane Lengrand

Published in: CoRR (2008)

Keyphrases

lambda calculus
programming language
database query languages
program understanding
predicate calculus
type checking
higher order
relational databases
artificial intelligence
open source
formal model