Reference Counting as a Computational Interpretation of Linear Logic (1996)

by Jawahar Chirimar, Carl A. Gunter, Jon G. Riecke
Venue:Journal of Functional Programming