Partial Functions and Recursion in Univalent Type Theory.

Published in: CoRR (2020)

Keyphrases

complex objects
theoretical basis
case study
information technology
theoretical framework
machine learning
artificial intelligence
decision trees
special case
basis functions
theoretical foundation
information theory
general theory