Guarded Cubical Type Theory.

Lars Birkedal Ales Bizjak Ranald Clouston Hans Bugge Grathwohl Bas Spitters Andrea Vezzosi

Published in: CoRR (2016)

Keyphrases

theoretical framework
fixed point
data mining
genetic algorithm
digital images
query answering
machine learning
artificial intelligence
decision making
decision trees
relational databases
image registration
general theory