An Abstract Strong Normalization Theorem.

Published in: CSL (2005)

Keyphrases

high level
low level
higher level
preprocessing
information technology
information retrieval
information systems
image sequences
optimal solution
search algorithm
evolutionary algorithm
special case
programming language
normalization method
digital topology
intuitionistic logic