## Davide Sangiorgi

*From pi-Calculus to Higher-Order pi-Calculus - and Back*

TAPSOFT, 1993.

@inproceedings{TAPSOFT-1993-Sangiorgi, author = "Davide Sangiorgi", booktitle = "{Proceedings of the Fifth International Joint Conference on Theory and Practice of Software Development}", doi = "10.1007/3-540-56610-4_62", isbn = "3-540-56610-4", pages = "151--166", publisher = "{Springer}", title = "{From pi-Calculus to Higher-Order pi-Calculus - and Back}", year = 1993, }