Definitional Functoriality for Dependent (Sub)Types.

Théo Laurent Meven Lennon-Bertrand Kenji Maillard

Published in: ESOP (1) (2024)

Keyphrases

case study
database
information technology
databases
decision making
three dimensional
pattern recognition
object recognition
special case
medical images
question answering