Login / Signup
Initial Algebras Unchained - A Novel Initial Algebra Construction Formalized in Agda.
Thorsten Wißmann
Stefan Milius
Published in:
CoRR (2024)
Keyphrases
</>
construction process
data sets
real world
data mining