• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Set-Theoretic and Type-Theoretic Ordinals Coincide.

Tom de JongNicolai KrausFredrik Nordvall ForsbergChuangjie Xu
Published in: LICS (2023)
Keyphrases
  • set theoretic
  • image recovery
  • machine learning
  • decision making
  • high dimensional
  • compressive sensing