Logic, Language, Information, and Computation : 29th International Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11-14, 2023, Proceedings - Hansen, Helle Hvid.; de Queiroz, Ruy J. G. B.; Scedrov, Andre (Cham Springer, 2023)