"On the Relative Expressiveness of Higher-Order Session Processes."

Dimitrios Kouzapas, Jorge A. Pérez, Nobuko Yoshida (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics