Hasegawa. From Linear Logic to Cyclic Sharing. Open Publishing Association, Apr. 2019, doi:10.4204/eptcs.292.3.