A Unifying Theory of Dependent Types: The Schematic Approach.

Published in: LFCS (1992)

Keyphrases

theoretical framework
high level
computational model
general theory
real time
multimedia
decision trees
case study
search algorithm
computational complexity
artificial neural networks
theoretical foundation
theoretical basis
mathematical foundations
formal theory