A Fully Complete PER Model for ML Polymorphic Types.
Samson AbramskyMarina LenisaPublished in: CSL (2000)
Keyphrases
- computational model
- mathematical model
- probabilistic model
- network model
- neural network
- statistical model
- classification models
- metamodel
- parameter values
- computational models
- theoretical foundation
- bayesian framework
- conceptual model
- theoretical framework
- prior knowledge
- similarity measure
- computer vision
- data mining