Pure Type Systems with Subtyping.

Published in: TLCA (1999)

Keyphrases

distributed systems
management system
multiresolution
test collection
complex systems
computer systems
information retrieval systems
response time
special case
database
expert systems
multiscale
image sequences
multimedia
genetic algorithm
real world
neural network
real time