Computational higher-dimensional type theory.

Carlo Angiuli Robert Harper Todd Wilson

Published in: POPL (2017)

Keyphrases

higher dimensional
euclidean space
low dimensional
finite dimensional
high dimensional
lower dimensional
continuous relaxation
arbitrary dimension
non stationary
distance transform
image segmentation
data structure
multi dimensional
signal processing
distance measure