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

Journal of Logical and Algebraic Methods in Programming

Journal Article

L. Pinto

T. Uustalu

Publication

Year of publication: 2022

Volume: 127

Identifiers

ISSN: 23522216 23522208

Other: 2-s2.0-85129234344

Locators

Alternative Titles