Preservation of Strong Normalisation modulo permutations for the structural lambda-calculus

Beniamino Accattoli Delia Kesner

Published in: Log. Methods Comput. Sci. (2012)

Keyphrases

lambda calculus
programming language
predicate calculus
database query languages
higher order
program understanding
high level
expert systems