Recursion on Nested Datatypes in Dependent Type Theory.

Published in: CiE (2008)

Keyphrases

data types
neural network
data model
type checking
data structure
theoretical framework
real time
database systems
data streams
data warehouse
database management systems
computational model
hierarchical structure
theoretical basis
multiple types
general theory