Types are Internal ∞-Groupoids.

Antoine Allioux Eric Finster Matthieu Sozeau

Published in: CoRR (2021)

Keyphrases

internal and external
neural network
data mining
artificial intelligence
social networks
decision trees