Step-Indexed Relational Reasoning for Countable Nondeterminism (Q2851672)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Step-Indexed Relational Reasoning for Countable Nondeterminism
scientific article

    Statements

    Step-Indexed Relational Reasoning for Countable Nondeterminism (English)
    0 references
    0 references
    0 references
    0 references
    16 October 2013
    0 references
    countable choice
    0 references
    lambda calculus
    0 references
    program equivalence
    0 references

    Identifiers