Plotkin's call-by-value \(\lambda\)-calculus as a modal calculus (Q2141293): Difference between revisions

From MaRDI portal
Created claim: Wikidata QID (P12): Q114013905, #quickstatements; #temporary_batch_1723982401803
Import241208061232 (talk | contribs)
Normalize DOI.
 
Property / DOI
 
Property / DOI: 10.1016/j.jlamp.2022.100775 / rank
Normal rank
 
Property / DOI
 
Property / DOI: 10.1016/J.JLAMP.2022.100775 / rank
 
Normal rank

Latest revision as of 05:30, 17 December 2024

scientific article
Language Label Description Also known as
English
Plotkin's call-by-value \(\lambda\)-calculus as a modal calculus
scientific article

    Statements

    Plotkin's call-by-value \(\lambda\)-calculus as a modal calculus (English)
    0 references
    0 references
    0 references
    0 references
    25 May 2022
    0 references
    \(\lambda\)-calculus
    0 references
    call-by-name
    0 references
    call-by-value
    0 references
    S4 modal logic
    0 references
    Girard's embedding
    0 references
    Gödel's embedding
    0 references

    Identifiers