A fully-abstract model for the -calculus (1996)

by M Fiore, E Moggi, D Sangiorgi
Venue:In Proceedings 11 � Annual Symposium on Logic in Computer Science