Introducing data types in intuitionistic type theory.
Ming-Hua ZhangPublished in: Int. J. Comput. Math. (1991)
Keyphrases
- data types
- type checking
- data model
- database management systems
- database systems
- data structure
- user defined
- back end
- data manipulation language
- data formats
- data mining algorithms
- abstract data types
- microsoft sql server
- fuzzy set theory
- neural network
- databases
- database
- multi dimensional
- management system
- similarity measure
- information retrieval
- linear logic
- spatiotemporal data