A Formalization of Strong Normalization for Simply-Typed Lambda-Calculus and System F.

Kevin Donnelly Hongwei Xi

Published in: Electron. Notes Theor. Comput. Sci. (2007)

Keyphrases

lambda calculus
programming language
predicate calculus
higher order
formal model
program understanding
high level
database query languages
knowledge representation
database systems
expert systems
general purpose