Login / Signup

Artifact Description - Definitional Functoriality for Dependent (Sub)Types.

Théo LaurentMeven Lennon-BertrandKenji Maillard
Published in: ESOP (1) (2024)
Keyphrases
  • high level
  • machine learning
  • information systems
  • case study
  • similarity measure