Modal embeddings and calling paradigms
autor
Espirito Santo, Jose
Pinto, Luis
Uustalu, Tarmo
vastutusandmed
José Espírito Santo, Luís Pinto, and Tarmo Uustalu
allikas
4th International Conference on Formal Structures for Computation and Deduction : FSCD 2019, Dortmund, Germany, 24-30 June 2019
ilmumiskoht
Saarbrücken/Wadern
kirjastus/väljaandja
Dagstuhl Publishing
ilmumisaasta
2019
leheküljed
art. 18 ; 20 p. : ill
seeria-sari
Leibniz international proceedings in informatics (LIPIcs) ; 131
konverentsi nimetus, aeg
4th International Conference on Formal Structures for Computation and Deduction (FSCD 2019), 24-30 June 2019
konverentsi toimumispaik
Dortmund, Germany
leitav
https://doi.org/10.4230/LIPIcs.FSCD.2019.18
märksõna
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
kvartiil
Q2
kategooria (üld)
Computer science
Arvutiteadus
kategooria (alam)
Computer science. Software
Arvutiteadus. Tarkvara
võtmesõna
call-by-name
call-by-value
comonadic lambda-calculus
indifference property
intuitionistic S4
standardization
ISSN
18688969
ISBN
978-395977107-8
märkused
Bibliogr.: 16 ref
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
3.1
TTÜ struktuuriüksus
tarkvarateaduse instituut
keel
inglise
Uurimisrühm
Tugevalt tagatud tarkvara laboratoorium