The Reflexive Chemical Abstract Machine and the Join Calculus (0)

by C Fournet, C Gonthier
Venue:In POPL’96