A denotational semantics for the symmetric interaction combinators

Damiano Mazza. A denotational semantics for the symmetric interaction combinators. Mathematical Structures in Computer Science, 17(3):527-562, 2007. [doi]

Abstract

Abstract is missing.