Strong Normalization with Non-Structural Subtyping.

Mitchell Wand Patrick O'Keefe Jens Palsberg

Published in: Math. Struct. Comput. Sci. (1995)

Keyphrases

structural information
preprocessing
structural analysis
data sets
data mining
knowledge base
website
object recognition
structural constraints