Constructive category theory.

Gérard P. Huet Amokrane Saïbi

Published in: Proof, Language, and Interaction (2000)

Keyphrases

theoretical framework
theoretical basis
theoretical foundation
data sets
genetic algorithm
information systems
support vector
object recognition
special case
object categories
information theory
decision theory