On Probabilistic Applicative Bisimulation and Call-by-Value λ-Calculi (Q5410701)

From MaRDI portal
scientific article; zbMATH DE number 6286387
Language Label Description Also known as
English
On Probabilistic Applicative Bisimulation and Call-by-Value λ-Calculi
scientific article; zbMATH DE number 6286387

    Statements

    On Probabilistic Applicative Bisimulation and Call-by-Value λ-Calculi (English)
    0 references
    0 references
    0 references
    16 April 2014
    0 references
    lambda calculus
    0 references
    probabilistic computation
    0 references
    bisimulation
    0 references
    coinduction
    0 references

    Identifiers