Plotkin's call-by-value λ-calculus as a modal calculus
autor
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
klassifikaator
kvartiil
kategooria (üld)
TTÜ struktuuriüksus
Uurimisrühm
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