Plotkin's call-by-value λ-calculus as a modal calculus

author
Espírito Santo, José
statement of authorship
Espírito Santo, José, Pinto, Luís, Uustalu, Tarmo
publisher
journal volume number month
vol. 127
year of publication
pages
art. 100775, 17 p
keyword
Girard's embedding
S4 modal logic
λ-calculus
ISSN
2352-2208
notes
Bibliogr.: 14 ref
Open Access
Open Access
scientific publication
teaduspublikatsioon
classifier
1.1
category (general)
kvartiil
Q2
TTÜ department
language
inglise
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