Plotkin's call-by-value λ-calculus as a modal calculus
autor
Espírito Santo, José
Pinto, Luis
Uustalu, Tarmo
vastutusandmed
Espírito Santo, José, Pinto, Luís, Uustalu, Tarmo
allikas
Journal of Logical and Algebraic Methods in Programming
kirjastus/väljaandja
Elsevier
ajakirja aastakäik number kuu
vol. 127
ilmumisaasta
2022
leheküljed
art. 100775, 17 p
leitav
https://doi.org/10.1016/j.jlamp.2022.100775
märksõna
matemaatiline loogika
matemaatilised mudelid
võtmesõna
Call-by-name
Call-by-value
Girard's embedding
S4 modal logic
λ-calculus
ISSN
2352-2208
märkused
Bibliogr.: 14 ref
Open Access
Open Access
teaduspublikatsioon
teaduspublikatsioon
klassifikaator
1.1
Scopus
https://www.scopus.com/sourceid/21100403130
https://www.scopus.com/record/display.uri?eid=2-s2.0-85129234344&origin=inward&txGid=818c3937048fab32997e9a37dfae214c
WOS
https://jcr.clarivate.com/jcr-jp/journal-profile?journal=J%20LOG%20ALGEBR%20METHODS&year=2022
https://www.webofscience.com/wos/woscc/full-record/WOS:000799966300001
kategooria (üld)
Mathematics
Matemaatika
Computer science
Arvutiteadus
kategooria (alam)
Mathematics. Logic
Matemaatika. Loogika
Computer science. Computational theory and mathematics
Arvutiteadus. Arvutusteooria ja matemaatika
Mathematics. Theoretical computer science
Matemaatika. Teoreetiline arvutiteadus
Computer science. Software
Arvutiteadus. Tarkvara
kvartiil
Q2
TTÜ struktuuriüksus
tarkvarateaduse instituut
keel
inglise
Uurimisrühm
Tugevalt tagatud tarkvara laboratoorium