Strong normalization proofs by CPS-translations.

Satoshi Ikeda Koji Nakazawa

Published in: Inf. Process. Lett. (2006)

Keyphrases

theorem proving
formal proofs
machine translation
computer vision
preprocessing
normalization method
data sets
databases
neural network
artificial intelligence
multimedia
decision procedures