On lists and other abstract data types in the calculus of constructions.
Jonathan P. SeldinPublished in: Math. Struct. Comput. Sci. (2000)
Keyphrases
- abstract data types
- type checking
- data types
- programming language
- data abstraction
- object oriented databases
- relational database systems
- data model
- spatial aggregation
- algebraic operations
- database
- object oriented
- multi dimensional
- relational databases
- data structure
- database systems
- data sources
- spatio temporal
- database management systems
- video sequences
- high level
- artificial intelligence
- algebraic structure