Set-Theoretic and Type-Theoretic Ordinals Coincide.

Tom de Jong Nicolai Kraus Fredrik Nordvall Forsberg Chuangjie Xu

Published in: LICS (2023)

Keyphrases

set theoretic
image recovery
machine learning
decision making
high dimensional
compressive sensing