A Note on Generalized Algebraic Theories and Categories with Families.

Marc Bezem Thierry Coquand Peter Dybjer Martín Escardó

Published in: CoRR (2020)

Keyphrases

theoretical framework
image processing
artificial neural networks
data sets
data mining
website