Types Are Internal ∞-Groupoids.

Eric Finster Antoine Allioux Matthieu Sozeau

Published in: LICS (2021)

Keyphrases

internal and external
relational databases
data mining
machine learning
search algorithm
pattern recognition
artificial neural networks
probability distribution