ByNobleID
    A symmetric modal lambda calculus for distributed computing | NobleID