Skip to content
#

causal-ordering

Here are 13 public repositories matching this topic...

Agda formalisation of a graded multiparty-session type theory combining echo loss-grades and epistemic warrants on partial causal orders. The central artefact is K-CUT: the open conjecture that grading and transport commute with endpoint projection across a consistent frontier (antichain), splitting into equality on loss-grades/bound on warrants.

  • Updated Sep 20, 2026

Add this topic to your repo

To associate your repository with the causal-ordering topic, visit your repo's landing page and select "manage topics."

Learn more