Variations on Realizability: Realizing the Propositional Axiom of Choice.

J. M. E. Hyland

Published in: Math. Struct. Comput. Sci. (2002)

Keyphrases

propositional logic
first order logic
real time
data sets
search engine
database systems
similarity measure
face images
inference rules
multi valued