Modal embeddings and calling paradigms
author
Espirito Santo, Jose
Pinto, Luis
Uustalu, Tarmo
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
Dagstuhl Publishing
year of publication
2019
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
url
https://doi.org/10.4230/LIPIcs.FSCD.2019.18
subject term
loogika
matemaatiline modelleerimine
programmeerimine
semantika
Scopus
Conference proceeding at Scopus
Article at Scopus
kvartiil
Q2
category (general)
Computer science
en
Arvutiteadus
et
category (sub)
Computer science. Software
en
Arvutiteadus. Tarkvara
et
keyword
call-by-name
call-by-value
comonadic lambda-calculus
indifference property
intuitionistic S4
standardization
ISSN
18688969
ISBN
978-395977107-8
notes
Bibliogr.: 16 ref
scientific publication
teaduspublikatsioon
classifier
3.1
TTÜ department
tarkvarateaduse instituut
language
inglise
Uurimisrühm
High-assurance software laboratory