Strong Normalization through Intersection Types and Memory.

Antonio Bucciarelli Delia Kesner Daniel Ventura

Published in: LSFA (2015)

Keyphrases

high level
evolutionary algorithm
limited memory
data sets
feature selection
website
multi agent systems
preprocessing
hidden markov models
main memory
memory usage
computing power