Proving soundness of extensional normal-form bisimilarities (Q2130582)

From MaRDI portal
Revision as of 10:26, 29 February 2024 by SwMATHimport240215 (talk | contribs) (‎Changed an Item)
scientific article
Language Label Description Also known as
English
Proving soundness of extensional normal-form bisimilarities
scientific article

    Statements

    Proving soundness of extensional normal-form bisimilarities (English)
    0 references
    0 references
    0 references
    0 references
    25 April 2022
    0 references
    \(\lambda\)-calculus
    0 references
    normal-form bisimulations
    0 references
    \(\eta\)-expansion
    0 references
    congruence
    0 references
    bisimulation up to context
    0 references
    control operators
    0 references

    Identifiers