Collection Principles in Dependent Type Theory.

Peter Aczel Nicola Gambino

Published in: TYPES (2000)

Keyphrases

theoretical framework
database
computational model
theoretical basis
genetic algorithm
information technology
theoretical foundation
design theory
formal theory
neural network
image processing
decision trees
high level
data structure
artificial neural networks
document collections