Conservation and Uniform Normalization in Lambda Calculi with Erasing Reductions.

Peter Møller Neergaard Morten Heine Sørensen

Published in: Inf. Comput. (2002)

Keyphrases

normalization method
linear array
social networks
preprocessing
data sets
data mining
search engine
information systems
image sequences
fixed point
spatial relations
pattern languages
qualitative spatial and temporal reasoning