Reduction-Free Normalisation for a Polymorphic System.

Thorsten Altenkirch Martin Hofmann Thomas Streicher

Published in: LICS (1996)

Keyphrases

data reduction
information retrieval
artificial intelligence
reduction method
real time
data mining
case study
high level
multiscale
significant improvement
knowledge discovery
test collection