Damiano Mazza A denotational semantics for the symmetric interaction combinators. 527-562 2007 17 Mathematical Structures in Computer Science 3 http://dx.doi.org/10.1017/S0960129507006135 db/journals/mscs/mscs17.html#Mazza07