Multilevel functions in Martin-Löf's type theory.

Bengt Nordström

Published in: Programs as Data Objects (1985)

Keyphrases

artificial intelligence
general theory
image processing
image sequences
expert systems
theoretical basis
objective function
data structure
multi agent systems
evolutionary algorithm
formal theory