Strong normalization of the second-order symmetric lambda mu -calculus.

Yoriyuki Yamagata

Published in: Inf. Comput. (2004)

Keyphrases

higher order
fixed point
data sets
genetic algorithm
high order
development environment
normalization method
algebraic structure
preprocessing
proof procedure
automated deduction