Work λ

Various Reworkings

Syntactic Correspondences

PNG

Syntactic Correspondences

HTML + JPG + LaTeX

Syntactic Correspondences
\text{Form} \text{String} \text{Graph}
Form (a) \texttt{(} a \texttt{)} Cactus (a)
Form (a,b) \texttt{(} a \texttt{,} b \texttt{)} Cactus (a,b)
Form (a,b,c) \texttt{(} a \texttt{,} b \texttt{,} c \texttt{)} Cactus (a,b,c)