Idempotents in intensional type theory.

Michael Shulman

Published in: Log. Methods Comput. Sci. (2016)

Keyphrases

neural network
real time
higher order
data integration
computational model
theoretical framework
machine learning
artificial intelligence
general theory