Towards a Cubical Type Theory without an Interval.

Thorsten Altenkirch Ambrus Kaposi

Published in: TYPES (2015)

Keyphrases

theoretical framework
general theory
information retrieval
data structure
topology preserving
imprecise probabilities
database
real time
real world
genetic algorithm
information systems
face recognition
digital images
self organizing maps
information theory
interval data