Computational Higher Type Theory II: Dependent Cubical Realizability.

Carlo Angiuli Robert Harper

Published in: CoRR (2016)

Keyphrases

theoretical framework
data sets
digital images
computational models
mathematical programming
real time
decision trees
computer science