Formalising Yoneda Ext in Univalent Foundations.

Jarl G. Taxerås Flaten

Published in: CoRR (2023)

Keyphrases

artificial intelligence
file system
databases
data sets
knowledge discovery
expert systems
decision support system
case study
end users
management system
knowledge management
query language