Login / Signup
Strong Normalization and Typability with Intersection Types.
Silvia Ghilezan
Published in:
Notre Dame J. Formal Log. (1996)
Keyphrases
</>
image segmentation
bayesian networks
preprocessing
database
data sets
artificial intelligence
decision trees