Transfinite Constructions in Classical Type Theory.

Gert Smolka Steven Schäfer Christian Doczkal

Published in: ITP (2015)

Keyphrases

information retrieval
probability theory
data sets
theoretical framework
theoretical basis
formal theory
quantum mechanics
databases
web services
image segmentation
similarity measure
computational model