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

From MaRDI portal
Set OpenAlex properties.
Import241208061232 (talk | contribs)
Normalize DOI.
 
(2 intermediate revisions by 2 users not shown)
Property / DOI
 
Property / DOI: 10.1016/j.jlamp.2022.100775 / rank
Normal rank
 
Property / cites work
 
Property / cites work: Lectures on the Curry-Howard isomorphism / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5089020 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4499084 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Call-by-name, call-by-value and the \(\lambda\)-calculus / rank
 
Normal rank
Property / cites work
 
Property / cites work: Linear logic / rank
 
Normal rank
Property / cites work
 
Property / cites work: Call-by-name, call-by-value, call-by-need and the linear lambda calculus / rank
 
Normal rank
Property / cites work
 
Property / cites work: The lambda calculus. Its syntax and semantics. Rev. ed. / rank
 
Normal rank
Property / cites work
 
Property / cites work: Call-by-push-value: Decomposing call-by-value and call-by-name / rank
 
Normal rank
Property / cites work
 
Property / cites work: Call-By-Push-Value from a Linear Logic Point of View / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5018484 / rank
 
Normal rank
Property / cites work
 
Property / cites work: The bang calculus revisited / rank
 
Normal rank
Property / cites work
 
Property / cites work: Factorization in call-by-name and call-by-value calculi via linear logic / rank
 
Normal rank
Property / Wikidata QID
 
Property / Wikidata QID: Q114013905 / 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