"Classical Higher-Order Processes - (Short Paper)."

Fabrizio Montesi (2017)
a service of Schloss Dagstuhl - Leibniz Center for Informatics