Strong Normalization with Singleton Types.

Judicaël Courant

Published in: Electron. Notes Theor. Comput. Sci. (2002)

Keyphrases

case study
preprocessing
neural network
web services
database
learning algorithm
website
decision trees
pattern recognition
computer science
evolutionary algorithm
multiresolution
data model