Type-Theoretic Functional Semantics.

Yves Bertot Venanzio Capretta Kuntal Das Barman

Published in: TPHOLs (2002)

Keyphrases

data sets
data mining
machine learning
evolutionary algorithm
programming language
schema mappings
functional analysis
logical language