Stratified Type Theory.

Jonathan Chan Stephanie Weirich

Published in: CoRR (2023)

Keyphrases

support vector
theoretical basis
feature selection
theoretical framework
website
machine learning
information theory
type checking