Computational Higher Type Theory I: Abstract Cubical Realizability.

Carlo Angiuli Robert Harper Todd Wilson

Published in: CoRR (2016)

Keyphrases

computational models
genetic algorithm
expert systems
theoretical framework
theoretical basis
topology preserving
computationally tractable
database
computer vision
case study
artificial neural networks
programming language
mathematical programming
significantly higher