full record 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
publisher
journal volume number month
vol. 127
year of publication
pages
art. 100775, 17 p
url
ISSN
2352-2208
notes
Bibliogr.: 14 ref
Open Access
Open Access
scientific publication
teaduspublikatsioon
language
inglise
subject term
keyword
Call-by-name
Call-by-value
Girard's embedding
S4 modal logic
λ-calculus
Reserch Group
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