Pierce at al. (1993)

Pierce B.C., Remy D. and Turner D.N. (1993)

A typed higher-order programming language based on the pi-calculus

Report University of Edinburgh (available at ftp://ftp.dcs.ed.ac.uk:pub/bcp/pilang.ps)