A Category Theoretic View of Contextual Types: from Simple Types to Dependent Types.

Jason Z. S. Hu Brigitte Pientka Ulrich Schöpp

Published in: CoRR (2022)

Keyphrases

machine learning
learning algorithm
image processing
database systems
objective function
multi agent systems
object recognition
context sensitive