Extensions to Type Systems Can Preserve Operational Equivalences.

Jon G. Riecke Ramesh Subrahmanyam

Published in: TACS (1994)

Keyphrases

intelligent systems
information retrieval
image processing
information retrieval systems
building blocks
systems require
real time
artificial intelligence
expert systems
management system
complex systems