Probabilistic coherence spaces as a model of higher-order probabilistic computation (Q550253): Difference between revisions

From MaRDI portal
ReferenceBot (talk | contribs)
Changed an Item
Normalize DOI.
 
(One intermediate revision by one other user not shown)
Property / DOI
 
Property / DOI: 10.1016/j.ic.2011.02.001 / rank
Normal rank
 
Property / DOI
 
Property / DOI: 10.1016/J.IC.2011.02.001 / rank
 
Normal rank

Latest revision as of 21:19, 9 December 2024

scientific article
Language Label Description Also known as
English
Probabilistic coherence spaces as a model of higher-order probabilistic computation
scientific article

    Statements

    Probabilistic coherence spaces as a model of higher-order probabilistic computation (English)
    0 references
    0 references
    0 references
    8 July 2011
    0 references
    linear logic
    0 references
    lambda-calculus
    0 references
    PCF
    0 references
    denotational semantics
    0 references
    probabilistic models
    0 references

    Identifiers