On the Relative Expressiveness of Higher-Order Session Processes

Authors

Dimitrios Kouzapas, Jorge A Pérez, Nobuko Yoshida,