Homotopy type theory: unified foundations of mathematics and computation.

Steve Awodey Robert Harper

Published in: ACM SIGLOG News (2015)

Keyphrases

computer algebra
theoretical foundation
real time
artificial intelligence
fixed point
general theory
databases
social networks
bayesian networks
multiscale
theoretical framework
efficient computation
linear algebra
mathematics learning