use case: structured data (XML) from Namespace Logic

[dckc]

using

• rholang syntax for for quoting (@), lift / send and activity / input
• SLMC syntax for or, (maxfix X F) and forall

we get:

@(maxfix X
     forall m .
        m!(forall n. 0 or n!(X) or (maxfix Y { forall n' . for(n' <- b){ X or Y} }
              or (X | X ) ) ) 

I used KaTex to get:

$\phi_{info} = \q{ \rec{X} {\forall m . \lift{m}{\forall n. 0 \lor \lift{n}{X} \lor \rec{Y}{\forall n' . \act{n'}{b}{(X \lor Y)} } \lor (X | X ) }} }$

macros:

{
    "\\q": "\\ulcorner #1 \\urcorner",
    "\\lift": "#1 \\langle\\lvert #2 \\rvert\\rangle",
"\\act": "\\langle #1 ? #2 \\rangle #3",
 "\\rec": "\\mathrm{rec} #1 . ( #2 )"
}

rendered