Nardelli, Francesco Zappa

• BRICS Report Series No. 21 (2004): RS-21 New-HOPLA--A Higher-Order Process Language with Name Generation - Articles
  New-HOPLA--A Higher-Order Process Language with Name Generation
  Abstract  PDF