Are there Hilbert-style Pure Type Systems?

Martin W. Bunder Wil Dekkers

Published in: CoRR (2007)

Keyphrases

distributed systems
computer systems
neural network
management system
image processing
image segmentation
similarity measure
building blocks
retrieval systems