Reference Counting as a Computational Interpretation of Linear Logic.

Jawahar Chirimar Carl A. Gunter Jon G. Riecke Reference Counting as a Computational Interpretation of Linear Logic. 195-244 1996 6 J. Funct. Program. 2 db/journals/jfp/jfp6.html#ChirimarGR96