From Linear Logic to Cyclic Sharing
2019
EPTCS
https://arxiv.org/abs/1904.06846
graph
linear logic