Shin-ya Nishizaki. Linear lambda calculus with non-linear first-class continuations. In Vitaliy Mezhuyev, Luigi Benedicenti, editors, Proceedings of the 6th International Conference on Software and Computer Applications, ICSCA '17, Bangkok, Thailand, February 26-28, 2017. pages 28-32, ACM, 2017. [doi]
Abstract is missing.