Login / Signup
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