Towards a Directed Homotopy Type Theory.

Paige Randall North

Published in: MFPS (2019)

Keyphrases

theoretical framework
neural network
theoretical foundation
information theory
database
machine learning
artificial intelligence
decision making
multi agent
multiresolution
mobile robot
computational model
conceptual framework
general theory
formal theory