Native Type Theory.

Christian Williams Michael Stay

Published in: CoRR (2021)

Keyphrases

learning algorithm
decision making
trade off
theoretical basis
metadata
case study
similarity measure
computational complexity
data model
special case