Modal embeddings and calling paradigmsEspirito Santo, Jose; Pinto, Luis; Uustalu, Tarmo4th International Conference on Formal Structures for Computation and Deduction : FSCD 2019, Dortmund, Germany, 24-30 June 20192019 / art. 18 ; 20 p. : ill https://doi.org/10.4230/LIPIcs.FSCD.2019.18 Conference proceeding at Scopus Article at Scopus