Login / Signup

Finite sets in homotopy type theory.

Dan FruminHerman GeuversLéon GondelmanNiels van der Weide
Published in: CPP (2018)
Keyphrases
  • finite sets
  • piecewise linear
  • linearly separable
  • machine learning
  • learning algorithm