"Realizing Impure Functions in Interaction Nets."

Eugen Jiresch (2010)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics