Login / Signup

Connecting Constructive Notions of Ordinals in Homotopy Type Theory.

Nicolai KrausFredrik Nordvall ForsbergChuangjie Xu
Published in: MFCS (2021)
Keyphrases
  • neural network
  • real world
  • probability distribution
  • theoretical basis
  • approximation spaces
  • social networks
  • artificial neural networks
  • theoretical foundation
  • information theory
  • multiple types