Putting Algebraic Components Together: A Dependent Type Approach.

Jean-Claude Reynaud

Published in: DISCO (1990)

Keyphrases

higher order
wide range
artificial intelligence
information systems
multimedia
website
image segmentation
learning environment
mathematical theory