A Classical Type Theory with Transfinite Types.

Garrel Pottinger

Published in: TPHOLs (1992)

Keyphrases

multiple types
general theory
information technology
theoretical framework
formal theory
real world
data mining
social networks
decision making
website
image segmentation
preprocessing
expert systems
multiresolution
theoretical basis
probability theory