Qiancheng Fu, Hongwei Xi. A Calculus of Inductive Linear Constructions. In Youyou Cong, Pierre-Évariste Dagand, editors, Proceedings of the 8th ACM SIGPLAN International Workshop on Type-Driven Development, TyDe 2023, Seattle, WA, USA, 4 September 2023. pages 1-13, ACM, 2023. [doi]
Abstract is missing.