"Edifices and Full Abstraction for the Symmetric Interaction Combinators."

Damiano Mazza (2007)
a service of Schloss Dagstuhl - Leibniz Center for Informatics