Characterizing Strongly Normalizing λGtz-terms via Non-Idempotent Intersection Types.

Xinxin Shen Kougen Zheng

Published in: CSAE (2019)

Keyphrases

decision making
co occurrence
databases
machine learning
genetic algorithm
database systems
multiscale
expert systems
multi dimensional
text classification