print

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
Journal metrics at Scopus
Article at Scopus
WOS
Journal metrics at WOS
Article at WOS
category (general)
Mathematics
Computer science
category (sub)
Mathematics. Logic
Computer science. Computational theory and mathematics
Mathematics. Theoretical computer science
Computer science. Software
kvartiil
Q2
TTÜ department
tarkvarateaduse instituut
language
inglise
Uurimisrühm
High-assurance software laboratory
Espírito Santo, J., Pinto, L., Uustalu, T. Plotkin's call-by-value λ-calculus as a modal calculus // Journal of Logical and Algebraic Methods in Programming (2022) vol. 127, art. 100775, 17 p. https://doi.org/10.1016/j.jlamp.2022.100775