On coinductive equivalences for higher-order probabilistic functional programs (Q5408426)

From MaRDI portal
scientific article; zbMATH DE number 6282431
Language Label Description Also known as
English
On coinductive equivalences for higher-order probabilistic functional programs
scientific article; zbMATH DE number 6282431

    Statements

    On coinductive equivalences for higher-order probabilistic functional programs (English)
    0 references
    0 references
    0 references
    0 references
    10 April 2014
    0 references
    bisimulation
    0 references
    coinduction
    0 references
    Howe's technique.
    0 references
    probabilistic lambda-calculus
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references