Converting Untyped Formulas to Typed Ones.

Jan Van den Bussche Luca Cabibbo

Published in: Acta Informatica (1998)

Keyphrases

decision making
higher order
lambda calculus
predicate calculus
data sets
data mining
video sequences
information retrieval
programming language
mathematical formulas
horn formulas