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 $\hat{I}»$-calculus, the process representations yield (at be…