Against Cumulative Type Theory.

Tim Button Robert Trueman

Published in: Rev. Symb. Log. (2022)

Keyphrases

real world
information systems
image processing
multimedia
theoretical framework
theoretical basis
real time
data sets
computer vision
decision making
decision trees
special case
conceptual framework
domain theory