full record print

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

author
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