A rewriting coherence theorem with applications in homotopy type theory.

Nicolai Kraus Jakob von Raumer

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

Keyphrases

von neumann
theoretical basis
artificial intelligence
theoretical framework
general theory
decision making
presburger arithmetic
real time
website
theoretical foundation
information theory
rewrite rules