Categorical Properties of Logical Frameworks.

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

Keyphrases

database systems
logical properties
wide range
desirable properties
real time
information retrieval
multimedia
web services
expert systems