Modal embeddings and calling paradigmsSanto, José Espírito; Pinto, Luís; Uustalu, TarmoDays in Logic 2022 : Universidade do Algrave, June 30-July 2, 20222022 / 20 p https://drops.dagstuhl.de/opus/volltexte/2019/10525/pdf/LIPIcs-FSCD-2019-18.pdf https://daysinlogic2022.ualg.pt/wp-content/uploads/2022/06/BookletDiL2022.pdf