A Rewriting Coherence Theorem with Applications in Homotopy Type Theory.

Nicolai Kraus Jakob von Raumer

Published in: CoRR (2021)

Keyphrases

von neumann
theoretical framework
type checking
similarity measure
multi agent
computational model
fixed point
theoretical foundation
theoretical basis
decision theory