@Inproceedings{EPTCS353.7, author = {Naibo, Alberto and Takahashi, Yuta}, year = {2021}, title = {Harmony in the Light of Computational Ludics}, editor = {Dal Lago, Ugo and de Paiva, Valeria}, booktitle = {{\rm Proceedings Second Joint International Workshop on} Linearity \& Trends in Linear Logic and Applications, {\rm Online, 29-30 June 2020}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {353}, publisher = {Open Publishing Association}, pages = {132-156}, doi = {10.4204/EPTCS.353.7}, }