Extensional and Non-extensional Functions as Processes.

Ken Sakayori, Davide Sangiorgi

Browse the full LICS paper archive.