Interpreting functions as -calculus processes: a tutorial. INRIA (1999)

by D Sangiorgi