From higher-order -calculus to -calculus in the presence of static operators (1998)

by J-L Vivas, M Dam
Venue:In CONCUR '98: Concurrency Theory. Proceedings of the 9th International Conference, Lecture Notes in Computer Science 1466