A note on russell's paradox in locally cartesian closed categories.

Andrew M. Pitts Paul Taylor

Published in: Stud Logica (1989)

Keyphrases

hierarchical structure
social networks
image processing
learning algorithm
artificial intelligence
information systems
website
multiresolution
probabilistic model
image classification
text categorization
object categories
queueing networks
additional features
open or closed