The reflexive chemical abstract machine and the join-calculus (0)

by Cédric Fournet, Georges Gonthier
Venue:In Proceedings of the 23rd ACM Symposium on Principles of Programming Languages