Login / Signup
On Strong Normalization in the Intersection Type Discipline.
Gérard Boudol
Published in:
TLCA (2003)
Keyphrases
</>
information systems
data mining
search engine
social networks
feature selection
high level
multiple types