Towards an Induction Principle for Nested Data Types.

Peng Fu Peter Selinger

Published in: WoLLIC (2023)

Keyphrases

data types
data model
database systems
data structure
user defined
database management systems
abstract data types
back end
data manipulation language
website
database server
data formats
query language
high dimensional
decision trees
database objects
data sets
object types
database