Plotkin's call-by-value λ-calculus as a modal calculus
author
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
ISSN
2352-2208
notes
Bibliogr.: 14 ref
Open Access
Open Access
scientific publication
teaduspublikatsioon
language
inglise
subject term
keyword
classifier
kvartiil
category (general)
TTÜ department
Reserch Group
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