Login / Signup

From type theory to setoids and back.

Erik Palmgren
Published in: Math. Struct. Comput. Sci. (2022)
Keyphrases
  • theoretical basis
  • general theory
  • neural network
  • data mining
  • data streams
  • trade off
  • computational model