Modularity of Strong Normalization and Confluence in the algebraic-lambda-Cube

Franco Barbanera Maribel Fernández Herman Geuvers

Published in: LICS (1994)

Keyphrases

multi dimensional
real world
fixed point
preprocessing
databases
information systems
face recognition
multiscale
high dimensional
evolutionary algorithm
community detection