Propositions as Types.

Steven Awodey Andrej Bauer

Published in: J. Log. Comput. (2004)

Keyphrases

pattern recognition
computer vision
information systems
decision trees
database
neural network
real world
genetic algorithm
database systems
digital libraries
multiresolution
varying degrees