Type-Theoretic Signatures for Algebraic Theories and Inductive Types.

András Kovács

Published in: CoRR (2023)

Keyphrases

multiple types
machine learning
search engine
multi agent
data model
theoretical framework
cognitive psychology
image processing
relational databases
knowledge representation
operating system
inductive learning
special features