Modal embeddings and calling paradigms
author
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
publisher
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
ISSN
18688969
ISBN
978-395977107-8
notes
Bibliogr.: 16 ref
scientific publication
teaduspublikatsioon
TTÜ department
language
inglise
category (general)
category (sub)
Reserch Group
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).