Login / Signup
On Relating Type Theories and Set Theories.
Peter Aczel
Published in:
TYPES (1998)
Keyphrases
</>
small number
multiscale
theoretical framework
neural network
data mining
computer vision
decision trees
evolutionary algorithm
probability distribution
input data
user defined
partial order
partially ordered