Axiomatizing Fully Complete Models for ML Polymorphic Types.

Samson Abramsky Marina Lenisa

Published in: MFCS (2000)

Keyphrases

probabilistic model
model selection
information retrieval
prior knowledge
statistical models
mathematical models
search engine
image segmentation
computational models