Plotkin's call-by-value λ-calculus as a modal calculus
author
Espírito Santo, José
Pinto, Luis
Uustalu, Tarmo
statement of authorship
Espírito Santo, José, Pinto, Luís, Uustalu, Tarmo
source
Journal of Logical and Algebraic Methods in Programming
publisher
Elsevier
journal volume number month
vol. 127
year of publication
2022
pages
art. 100775, 17 p
url
https://doi.org/10.1016/j.jlamp.2022.100775
subject term
matemaatiline loogika
matemaatilised mudelid
keyword
Call-by-name
Call-by-value
Girard's embedding
S4 modal logic
λ-calculus
ISSN
2352-2208
notes
Bibliogr.: 14 ref
Open Access
Open Access
scientific publication
teaduspublikatsioon
classifier
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
category (general)
Mathematics
Matemaatika
Computer science
Arvutiteadus
category (sub)
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
quartile
Q2
TalTech department
tarkvarateaduse instituut
language
inglise
Reserch Group
High-assurance software laboratory