Homotopy type theory and Voevodsky's univalent foundations

Álvaro Pelayo Michael A. Warren

Published in: CoRR (2012)

Keyphrases

theoretical framework
artificial intelligence
theoretical basis
decision making
data sets
information theory
computational model
general theory
domain theory
theoretical foundation
hidden markov models
special case
data model
trade off
information technology
computer science
data structure
website