Set-Theoretic and Type-Theoretic Ordinals Coincide.

Tom de Jong Nicolai Kraus Fredrik Nordvall Forsberg Chuangjie Xu

Published in: CoRR (2023)

Keyphrases

set theoretic
image recovery
neural network
data sets
machine learning
decision making
face recognition
pattern recognition
rough sets
image reconstruction
approximation operators