Homotopy limits in type theory.

Jeremy Avigad Krzysztof Kapulkin Peter LeFanu Lumsdaine

Published in: Math. Struct. Comput. Sci. (2015)

Keyphrases

theoretical basis
formal theory
image processing
data sets
theoretical framework
trade off
probability theory
decision theory
computational models
fixed point
user interface
lower bound
preprocessing
computer science
natural language
genetic algorithm
machine learning