Modal embeddings and calling paradigms

author
Espirito Santo, Jose
statement of authorship
José Espírito Santo, Luís Pinto, and Tarmo Uustalu
source
4th International Conference on Formal Structures for Computation and Deduction : FSCD 2019, Dortmund, Germany, 24-30 June 2019
location of publication
Saarbrücken/Wadern
year of publication
pages
art. 18 ; 20 p. : ill
series
Leibniz international proceedings in informatics (LIPIcs) ; 131
conference name, date
4th International Conference on Formal Structures for Computation and Deduction (FSCD 2019), 24-30 June 2019
conference location
Dortmund, Germany
kvartiil
Q2
category (general)
category (sub)
ISSN
18688969
ISBN
978-395977107-8
notes
Bibliogr.: 16 ref
scientific publication
teaduspublikatsioon
classifier
3.1
TTÜ department
language
inglise
Espirito Santo, J., Pinto, L., Uustalu, T. Modal embeddings and calling paradigms // 4th International Conference on Formal Structures for Computation and Deduction : FSCD 2019, Dortmund, Germany, 24-30 June 2019. Saarbrücken/Wadern : Dagstuhl Publishing, 2019. art. 18 ; 20 p. : ill. (Leibniz international proceedings in informatics (LIPIcs) ; 131). https://doi.org/10.4230/LIPIcs.FSCD.2019.18