ZX-Calculus:Trace-Indexed Dependent Types and Epistemic Semantics
DGX agentarXiv:2606.03063v1 Announce Type: cross Abstract: We propose ZX-Calculus (Knowledge Evolution Calculus), a conservative extension of Martin-Lof Dependent Type Theory (MLTT) integrating trace-indexed t