The Reflexive Chemical Abstract Machine and the Join calculus (1996)

by C Fournet, G Gonthier
Venue:In Proc. 23th POPL