Extensional and Non-extensional Functions as Processes

Ken Sakayori, Davide Sangiorgi

Following Milner's seminal paper, the representation of functions as processes has received considerable attention. For pure $\lambda$-calculus, the process representations yield (at bes…