Reference Counting as a Computational Interpretation of Linear Logic.

Jawahar Chirimar Carl A. Gunter Jon G. Riecke

Published in: J. Funct. Program. (1996)

Keyphrases

linear logic
fixed point
desirable properties
sequent calculus
cut elimination
proof theoretic
high level
knowledge representation
inference rules
logical framework
intuitionistic logic