Opin vísindi

Fletta eftir titli tímarits "Journal of Logical and Algebraic Methods in Programming"

Fletta eftir titli tímarits "Journal of Logical and Algebraic Methods in Programming"

Röðun: Raða: Niðurstöður:

  • Icon
    Plotkin's call-by-value λ-calculus as a modal calculus 
    Espírito Santo, José; Pinto, Luís; Uustalu, Tarmo (Elsevier BV, 2022-06)
    In the authors' previous analysis of the calling paradigms call-by-name and call-by-value through Girard's and Gödel's embeddings into the S4 modal logic, an asymmetry remains: the two paradigms are unified by the call-by-box paradigm of the modal ...