A Variation of Reynolds-Hurkens Paradox.

Thierry Coquand

Published in: Logics and Type Systems in Theory and Practice (2024)

Keyphrases

computer vision
database
data sets
data mining
machine learning
three dimensional
database systems
expert systems
relational databases
recommender systems