Partiality, Cartesian closedness and Toposes

Pierre-Louis Curien Adam Obtulowicz

Published in: Inf. Comput. (1989)

Keyphrases

polar coordinates
artificial intelligence
query processing
log polar mapping
database
real world
computer vision
denoising