Login / Signup

On the Relative Expressiveness of Higher-Order Session Processes.

Dimitrios KouzapasJorge A. PérezNobuko Yoshida
Published in: ESOP (2016)
Keyphrases