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

by M P Fiore, E Moggi, D Sangiorgi
Venue:In Eleventh Annual Symposium on Logic in Computer Science. IEEE Computer