On the Relative Expressiveness of Higher-Order Session Processes.

Dimitrios Kouzapas, Jorge A. Prez, Nobuko Yoshida

Browse the full ESOP paper archive.