A derivation system for uniqueness typing.

Erik Barendsen Sjaak Smetsers

Published in: Electron. Notes Theor. Comput. Sci. (1995)

Keyphrases

sufficient conditions
information retrieval
image processing
mobile devices
object oriented
collaborative learning