Espírito Santo, J., Pinto, L., Uustalu, T.

prindi

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

autor

Espírito Santo, José

Pinto, Luis

Uustalu, Tarmo

vastutusandmed

Espírito Santo, José, Pinto, Luís, Uustalu, Tarmo

allikas

Journal of Logical and Algebraic Methods in Programming

kirjastus/väljaandja

Elsevier

ajakirja aastakäik number kuu

vol. 127

ilmumisaasta

2022

leheküljed

art. 100775, 17 p

leitav

https://doi.org/10.1016/j.jlamp.2022.100775

märksõna

matemaatiline loogika

matemaatilised mudelid

võtmesõna

Call-by-name

Call-by-value

Girard's embedding

S4 modal logic

λ-calculus

ISSN

2352-2208

märkused

Bibliogr.: 14 ref

Open Access

teaduspublikatsioon

klassifikaator

1.1

Scopus

Journal metrics at Scopus

Article at Scopus

WOS

Journal metrics at WOS

Article at WOS

kategooria (üld)

Matemaatika

Arvutiteadus

kategooria (alam)

Matemaatika. Loogika

Arvutiteadus. Arvutusteooria ja matemaatika

Matemaatika. Teoreetiline arvutiteadus

Arvutiteadus. Tarkvara

kvartiil

TTÜ struktuuriüksus

tarkvarateaduse instituut

keel

inglise

Uurimisrühm

Tugevalt tagatud tarkvara laboratoorium

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