Towards refinable choreographies

Ugo de'Liguoro, HernĂ¡n C. Melgratti, Emilio Tuosto. Towards refinable choreographies. J. Log. Algebr. Meth. Program., 127:100776, 2022. [doi]

Abstract

Abstract is missing.