Kuroda's Translation for the λπ-Calculus Modulo Theory and Dedukti.

Thomas Traversié

Published in: CoRR (2024)

Keyphrases

computer algebra
machine learning
theoretical framework
information theory
theoretical basis
formal theory
database
learning algorithm
decision trees
algebraic structure