Using non-linear logic for construction of self-stabilizing hammock structure. - Shohei Furuichi; Shuntaro Nozawa; Machiko Asahara; Priya Murugeswaran; Yuqing Shi; Ziyi Wu; Yusuke Obuchi; Jun Sato (AAG, 2018)