Text this: Extensional and Non-extensional Functions as Processes