A Lambda-to-CL Translation for Strong Normalization.

Published in: TLCA (1997)

Keyphrases

machine translation
sufficient conditions
cross language information retrieval
information retrieval
computer vision
information systems
digital libraries
preprocessing
expert systems
query language