Peng Fu 0001, Peter Selinger. Towards an Induction Principle for Nested Data Types. In Helle Hvid Hansen, Andre Scedrov, Ruy J. G. B. de Queiroz, editors, Logic, Language, Information, and Computation - 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11-14, 2023, Proceedings. Volume 13923 of Lecture Notes in Computer Science, pages 244-255, Springer, 2023. [doi]
Abstract is missing.