Towards an induction principle for nested data types.

Peng Fu Peter Selinger

Published in: CoRR (2023)

Keyphrases

data types
data model
data structure
database management systems
database systems
user defined
back end
machine learning
abstract data types
databases
database server
data manipulation language
management system
database objects
metadata
spatiotemporal data