Login / Signup

Groupoidal Realizability for Intensional Type Theory.

Sam Speight
Published in: CoRR (2024)
Keyphrases
  • theoretical basis
  • machine learning
  • real time
  • artificial neural networks
  • multiresolution
  • special case