Head reduction and normalization in a call-by-value lambda-calculus.

Giulio Guerrieri

Published in: WPTE@RTA/TLCA (2015)

Keyphrases

lambda calculus
programming language
predicate calculus
database query languages
program understanding
expressive power