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

autor
Espírito Santo, José
vastutusandmed
Espírito Santo, José, Pinto, Luís, Uustalu, Tarmo
kirjastus/väljaandja
ajakirja aastakäik number kuu
vol. 127
ilmumisaasta
leheküljed
art. 100775, 17 p
ISSN
2352-2208
märkused
Bibliogr.: 14 ref
Open Access
Open Access
teaduspublikatsioon
teaduspublikatsioon
keel
inglise
võtmesõna
Girard's embedding
S4 modal logic
λ-calculus
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