Login / Signup
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