Definitional Functoriality for Dependent (Sub)Types.

Théo Laurent Meven Lennon-Bertrand Kenji Maillard

Published in: CoRR (2023)

Keyphrases

data analysis
learning algorithm
question answering
multiple types
data mining
information systems
multimedia
web services
case study
multiscale
objective function
information technology