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
https://www.scopus.com/sourceid/21100244929
https://www.scopus.com/record/display.uri?eid=2-s2.0-85068045398&origin=inward&txGid=d6e07206c224cb13ed521680b7153e70
quartile
Q2
category (general)
Computer science
Arvutiteadus
category (sub)
Computer science. Software
Arvutiteadus. Tarkvara
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
TalTech department
tarkvarateaduse instituut
language
inglise
Reserch Group
High-assurance software laboratory