Internal Type Theory.

Published in: TYPES (1995)

Keyphrases

theoretical framework
three dimensional
internal and external
image processing
preprocessing
control system
computational model
multiple types